[Haskell-cafe] [OT] A DSL for state machines

Stephane Bortzmeyer bortzmeyer at nic.fr
Wed Sep 13 11:10:45 EDT 2006

Sorry, this is a bit off-topic but I post here because:

* it is about a DSL and many Haskellers are fond of DSLs,

* the first implementation is written in Haskell.


describes a proposal to the IETF to standardize the language used for
finite state machines (which are common in IETF standards), much like
ABNF is standardized in RFC 4234, to describe grammars.

The reference implementation, available at
http://www.cosmogol.fr/shadok.html is in Haskell.

Bug reports, patches, advices, flames, opinions and criticisms are

More information about the Haskell-Cafe mailing list