Lambda the Ultimate

I've begun to get interested in a language-based approach to network protocol development. There are some nice ones like Prolac and older ones like Estelle.

I'm systematically boiling down an RFC to an implementation, assuming such a thing is possible, and am looking for all approaches. I'm less interested in formal verification techniques that don't result in a usable piece of software, but all pointers are appreciated. I'd like to hear your experience with such techniques too. I'm looking at whatever google and citeseer spit out for "protocol languages" and "protocol compilers".

There are plenty of academic papers about Haskell, and plenty of informative pages on the Haskell Wiki. But there's not much between the two extremes. The Monad.Reader aims to fit in there; more formal than a Wiki page, but less formal than a journal article.

Want to write about a tool or application that deserves more attention? Have a cunning hack that makes coding more fun? Got that visionary idea people should know about? Write an article for The Monad.Reader!

Contact Shae Erisson ( shae@ScannedInAvian.com ) to become an author, or talk to shapr on the #haskell irc channel on irc.freenode.net.

Check the current roster - http://www.haskell.org/hawiki/TheMonadReader

Publishing Format:

• Input is LaTeX (or just plaintext and images).
• Output is Web and PDF/PS.
• Release once a month.
• Each article in a darcs repo for easy collaboration between author and editor.

License:

• BSD-like, feel free to read it, teach it, hack it, copy it, improve it.

The Monad.Reader: sequencing your input since 2005