Writing
-
Free monads as contracts
. Why my libraries start with a small algebra, and what the interpreter boundary buys you in tests.
. Why my libraries start with a small algebra, and what the interpreter boundary buys you in tests.