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.