4 ms·
I understand monads and use them everyday, but I've never written an article about them. I did once try to explain to someone what a monad is... that could be t
by DanWaterworth 14y ago
I understand monads and use them everyday, but I've never written an article about them. I did once try to explain to someone what a monad is... that could be the reason I've never tried.
- paulrademacher 14y agoYou 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.
- danieldk 14y agoI understand monads and use them everyday, Same thing here and I am not writing a tutorial, because good tutorials already exist. For example: http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html http://blog.sigfpe.com/2006/08/you-could-have-invented-monad... http://www.manning.com/bjarnason/ http://www.manning.com/bjarnason/ In fact, the latter book lets you write your own functors and monads without even telling you, and then shows you that you actually already understand these concepts.