AP
Effect Systems are systematically ineffective!??!?
Size: a a a
2021 January 28
AP
Free of Monads at last? Even Freer!
AP
Free your Monads and be Effective('ihs?)
AP
Free you a Monad for Great Good!
MK
certifiable fleece
Я же могу сочитать
Концепт примерно такой:
fix вместе с IO? Не наткнусь ни на какие ужасы, связанные с ленивостью? Концепт примерно такой:
action :: IO ()
action = do
...
let
fun = \loop -> do ... ; loop
fix fun
...
Знаю одного человека, который постоянно так пишет
MK
Вообще нормальный паттерн
DB
Free you a Monad for Great Good!
Тебя забанят!
AP
За что? За blah? Ну так потрите, что
DB
За что? За blah? Ну так потрите, что
В твитторе гранена
AP
Это будет успех
AP
Признание!
MK
призвание!
АХ
Front of monad liberation
MK
посмотри как application в wai сделан
MK
а вообще для этого можно линтипы использовать))
IK
посмотри как application в wai сделан
Ну оно в принципе работает, но я могу хотеть, например, вызвать commit из дочернего треда