Comment on There's more to mathematics than rigour and proofs (2007)parentComments−jiiam2yAlso in Haskell:1. Start by doing everything in ReaderT Env IO2. Learn all about mtl (or monad transformers, free monads, freer monads, algebraic effects, whatever)3. Do everything in ReaderT Env IO
Comments
Also in Haskell:
1. Start by doing everything in ReaderT Env IO
2. Learn all about mtl (or monad transformers, free monads, freer monads, algebraic effects, whatever)
3. Do everything in ReaderT Env IO