Sat Sep 24 14:53:43 EDT 2011

Embedded patterns and translation

* Conversion between a sealed "foreach" API and a wide-open
  open/access/close.  This is the universal traversal API idea[1], but
  in practice it doesn't work that well in C due to lack of partial

* Conversion between task code to state machines, i.e. if recursion is
  finite and there are no arbitrary pre-emption points this should be
  always possible to automate.  State machines are a pain to write.

[1] http://okmij.org/ftp/papers/LL3-collections-enumerators.txt