I wouldn't say Haskell is the perfect language for protocol specs. I do love Haskell, but what you're asking for sounds more like this: http://www.moserware.com

I wouldn't say Haskell is the perfect language for protocol specs. I do love Haskell, but what you're asking for sounds more like this: http://www.moserware.com/2008/04/towards-moores-law-software-part-3-of-3.html http://www.moserware.com/2008/04/towards-moores-law-software...