23 ms·
You should write an article!
by paulrademacher 14y ago
You should write an article!
- DanWaterworth 14y agoI'll start with the continuation monad, explaining that via the Curry-Howard correspondence it is related to a double negative. I'll go on to show that the continuation monad is more general than any other monad by showing how to implement some common ones (state, list, IO, coroutines) using it. I'll finish with a half-baked analogy.
- pekk 14y agoWrite a program which generates explanations of monads. By the time Haskell compiles it, it will be provably correct without the need for tests.