Apropos of nothing... Who's on for making "Scottish Dagstuhl" a thing?
-
-
"Idris 2: Basically just javascript now."
-
well you don’t need threads because it has events and async, super optimized
End of conversation
New conversation -
-
-
When you have linearity (explicit copying/reuse), imperative is not that far from functional
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
It's fine as long as you call it a monad. "Monads: the functional programmer's new clothes"
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.