DS
Следовательно их можно комбинировать через монадические комбинаторы
main = scotty 3000 $ do
_ <- get "/whatever" $ do
# route code
_ <- post "/whatever $ do
# route code
?
Size: a a a
2021 January 20
EG
И как это на практике должно выглядеть?
?
?
EG
https://github.com/scotty-web/scotty-starter/blob/master/Main.hs
Нашёл подробный пример — он использует
Нашёл подробный пример — он использует
>>. Т. е. да, значение из get отбрасывается. Зачем оно тогда, собственно?
EG
get возвращает ScottyT e m ()
Из документации по ScottyT я могу узнать, что () это a.
Никакой информации, что вообще такое e, m и a — тупо нет.
Из документации по ScottyT я могу узнать, что () это a.
Никакой информации, что вообще такое e, m и a — тупо нет.
EG
Три однобуквенных имени, всё
EG
Чтобы узнать, что e это error, m это middleware (что — у всего middleware один тип?..), а a — это эээ юнит для всех примеров, которые я пока видел — мне пришлось лезть в код
EG
m — это не миддлвейр. m — это монада, через которую работает ввод-вывод, просто мне пришлось закопаться ещё на три уровня в код, чтобы это выяснить
S
Одноцветная асинхронность это вообще невероятный плюс
Одноцветная асинхронность это вообще невероятный понос
EG
Вообще нужна не одноцветная, а асинхронность с полиморфизмом по цветам.
Кстати, продемонстрируй
DS
Кстати, продемонстрируй
Ну условно:
whileM_ :: (Monad m) => m Bool -> m a -> m ()
whileM_ p f = go
where go = do
x <- p
if x
then f >> go
else return ()
DS
Могу похожим образом на расте с гат'ами, если хаскель не нравится
DS
Или на скале
EG
Я пока не сумел прочитать
EG
Только не на скале, хаскелль читать проще
EG
Предположим, m это IO, скажем
IO bool это тогда, например, прочитать y/n из сети
IO bool это тогда, например, прочитать y/n из сети
EG
a мы отбрасываем
EG
Всё, распарсил
EG
Но я плохо понимаю, как вообще работают асинхронные движки в хаскелле
EG
Как можно расставить йилдпоинты по коду, который выполняется в хз каком порядке?
s
Ну условно:
whileM_ :: (Monad m) => m Bool -> m a -> m ()
whileM_ p f = go
where go = do
x <- p
if x
then f >> go
else return ()
О, монадкоцикл.