Fri Aug 12 17:47:13 EDT 2016
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.