News for hackers. Stuff that matters.
Re:Imperative Haskell by cstrahan on Wednesday May 31, 2017 @07:51AM (#14451738)
Maybe something like this:

Equivalence: unification of types (can't make I'll-typed substitutions)

Output only effects: have your language define only one such monad

About to depart on a flight, so can't elaborate further.

There are no comments on this comment yet.