Sun Jul 19 09:25:47 CEST 2009

DFL language implementation : Summary

See here [1][2][3] for font line notes about developing the DFL
implementation in Staapl.  I got distracted by the trick used (using
"eval" at expansion time).

The goal of this language is to have a functional / combinatorial
description of a machine (in terms of a connection of functions), to
ease the propagation of machine semantics to higher levels.  The main
goal is to use this for code analysis, starting with compiler
correctness and possibly guiding the development of
application-specific type systems.

Funny.. I got distracted again!  Don't worry, I'm employing the method
of structured procrastination[4].

[1] entry://20090608-175354
[2] entry://20090611-104802
[3] entry://20090608-160152
[4] http://www.structuredprocrastination.com/