Fri Apr 15 14:35:59 PDT 2011


Instead of starting from a functional description and "hoping" all
constructors can be optimized out, is it possible to start from
guaranteed elimination, and see what subset highlevel language fits on
top of that?

This has always been the core of my quest.  I suppose this is the Hume

EDIT: Reminds me of some of the stuff I read around PEGs: a
parser-centric view instead of a language-centric view, because what
you care about is not so much properties of the language itself
(grammar, generation) but properties of implementation and efficient
information flow.

[1] http://citeseerx.ist.psu.edu/viewdoc/download?doi=