4 ms·
Note that SPJ's book (1987) pre-dates Wadler's popularization of monads (1992) by a good 5 years, and Moggi's idea to use monads to describe different notions o
by dons 12y ago
Note that SPJ's book (1987) pre-dates Wadler's popularization of monads (1992) by a good 5 years, and Moggi's idea to use monads to describe different notions of computation by 4 years^1.
So they're missing for a reason.
1. http://www.cs.cmu.edu/afs/cs/user/crary/www/819-f09/Moggi91.pdf http://www.cs.cmu.edu/afs/cs/user/crary/www/819-f09/Moggi91....
- exDM69 12y agoYes, I know that. There's a long and interesting history on the "round hole, square peg" problem of I/O, side effects and functional programming. My sole intent was to emphasize, using a practical example, how neat and elegant monads can be at best.
- vajrabum 12y agoDon't forget that Simon Peyton Jones 2nd book on compiling functional languages written with PJ Lester is also out of print but available from him directly on the web and includes source code from the book. Way fun, if slightly dated stuff. http://research.microsoft.com/en-us/um/people/simonpj/Papers/pj-lester-book/ http://research.microsoft.com/en-us/um/people/simonpj/Papers...