к
да, абсолютно нормально
Size: a a a
2020 December 12
JS
можно довесить состояние позже
к
есть один нюанс, в такой реализации (со StateT) бот может быть только синхронным, то есть запросы к нему со всех клиентов могут выполняться только один за одним
к
поэтому возможно есть смысл посмотреть на STM
K
поэтому возможно есть смысл посмотреть на STM
Я пока не готов к этому. Но возьму на заметку.
K
Я только учусь использовать трансформеры на практике.
JS
do
initInReader
actionInReader
runStateT (actionInStateReader) state
2020 December 13
AP
data Cmd = N | S | E | W | L | R | F deriving Read
decode :: String -> Maybe (Cmd, Int)
decode s = do
(c : n) <- pure s
(,) <$> readMaybe [c] <*> readMaybe n
парсеры-шмарсерыа зачем тут
pure s перед паттерн-матчингом? это же не поможет от ошибки во время выполнения, если строка пустая...A
а зачем тут
pure s перед паттерн-матчингом? это же не поможет от ошибки во время выполнения, если строка пустая...А там разве не фейл произойдет, который станет nothing?
AP
а зачем тут
pure s перед паттерн-матчингом? это же не поможет от ошибки во время выполнения, если строка пустая...> safeHead l = do { (x:_) <- pure l; pure x }
> safeHead [] :: Maybe Int
NothingAP
Неудачный матчинг даст
fail, MonadFail для Maybe даёт NothingХГ
Товарищи, не подскажете, какие библиотеки мне стоит использовать?
Я пишу бота для ВК, и мне часто приходится сооружать запросы к API ВК с длинными URL. Сейчас я это делаю с помощью
Есть ли аналоги библиотек типа
Я пишу бота для ВК, и мне часто приходится сооружать запросы к API ВК с длинными URL. Сейчас я это делаю с помощью
String и printf, но хочу попробовать перейти к Text (просто потому, что хочется).Есть ли аналоги библиотек типа
http-client и http-client-tls, которые получают URL в виде Text, а не String? Я нашёл modern-uri для парсинга, но не могу найти нечто похожее на http-client для их отправки.Ставьте req Марка Карпова. Там всё будет идиоматически. Особенно в url. Url это не Text и не String, а что-то совсем другое...
AP
req оборачивает http-client как раз. А вообще можно и servant взять в какой-то момент, когда типизации мало покажется. Но начинать можно с голого http-client
ХГ
Карпов делает акцент на удобстве и correctness сооружения длинных урелов.
A
ух, во второй части получил неправильный ответ, потому что Int-а не хватило
AP
> safeHead l = do { (x:_) <- pure l; pure x }
> safeHead [] :: Maybe Int
NothingСпасибо! Интересно. Я написал в GHCi нечто как я думал аналогичное, оно дало ошибку. Что-то вроде
(\(c:s)-> pure c) =<< Just ""AP
Так тут функция частичная
AP
байнд не виноват, что она такая :)
AP
А как без do переписать ваш пример?