Thu Oct 8 16:10:52 CEST 2009

Lexical Scope is Difficult

It has become more clear to me recently that lexical scope is indeed
quite difficult to get right for metaprogramming.  The design of
MetaOCaml is non-trival (i.e. side effects and scope extrusion).

Picking an algebraic (point-free) formalism seems to make program
manipulation a lot simpler.

An interesting observation is that the same system (Staapl) can host
both a general-purpose stack-based language for systems glue, as well
as special-purpose algebraic/numerical formalisms for algorithm