Fri Aug 12 17:47:13 EDT 2016

DSL time

So I'm done with not having a good state machine implementation
language.  Time to build one from scratch as a haskell DSL.

This should map to C and sequential logic for HDL synthesis.

Rationale: in my work I only need two kinds of systems: a generic
"control computer", which can be any high level language (Haskell,
Scheme, Erlang, ...) and some leaf hardware that has severe resource
and timing constraints, and needs a C or HDL lower layer.

Would be a good opportinity to try out free monads.