Here are some sketches of monads. I've annotated each with its species. I'm not a great artist and I only saw each of them for a fleeting moment so I had to fill in some details from memory. But I think the sketches are good enough to be able to recognise them in the wild. Click on the 'thumbnail' for the full size image.
I'm currently trying to stalk some monads from the continuation family. When I succeed I'll add some sketches of those too.
This is really good, I keep coming back to it. Any progress on the others? :)
ReplyDeleteAlso, as just occurred to me whllst reading something completely different, either of the two middle ones could be a recursive-descent parser. I'm not sure of the exact details though :)
ReplyDeletehey, this is a very interesting idea. i think more visually, usually, so i appreciate such things a lot :-) thanks for taking the time to post them. it would be super nifty if some group of folks could work on a coffee table book that was A Visual Explanation of Programming. think we could find a publisher who'd give us an advance?!
ReplyDelete