@dibblego can you express monads without a type system. eg. like in clojure? is it useful?
@hamnis You sure can, but in practice, you quickly hit problems of expressiveness without a useful type system.
-
-
@dibblego sure, I think I understand that. Any particular example you can come up with? -
@hamnis The litmus test. Can you write sequence that takes a list of (f a) to f of (list a)? Yes for clojure, but life is about to get hard. - Show replies
New conversation -
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.