TLA+ and Haskell with Scott Murphy - OKC Functional Programming
TLA+ is often associated with complex process specification like S3 and other high scale systems. We will go through designing a spec with TLA+ and implementing it with a standard haskell MTL approach and time permitting, adding property tests!
Ambitious? YES! Worthwhile? I think so, judge for yourself.
--
Scott Murphy is a product manager for Plow Technologies.
Plow uses Haskell to design most of its internal software. -- Watch live at / techlahoma
