Sat May 8 20:04:50 EDT 2010
So, today was again a trip.
* I'm not quite used to many of the Haskellisms. Monads need some
more work; i.e. monad transformers.
* Explored the relationship between left folds and sequence + mapf
for a State monad. (Syntax directed vs. semantics directed?)
* TODO: IO monad transformer for stable names, together with State
monad from fold.
* TODO: gather inputs + tmps from current bindings list. Figure out
how to work with lists as sets.
* TODO: multiple outputs.