@dibblego can you express monads without a type system. eg. like in clojure? is it useful?
-
@bodil@hamnis@dibblego the guts of clojure's core.async leverage the state monad: https://github.com/clojure/core.async/blob/master/src/main/clojure/clojure/core/async/impl/ioc_macros.clj …
@timbaldridge @bodil @hamnis The question, "express monads?" starts with operations abstracting on all monads; not so much a specific one.