Sun Jun 15 09:39:48 CEST 2008

dataflow language

Compiling an expression language to C is fairly trivial, since C has
an expression language built in. GCC also has SSA (static single
assignment) form, so presenting C code that uses single assignment
should be ok. Expression evaluation is straightforward, so trusting
GCC to handle this properly should be no problem. GCC also has a
mechanism for proper tail calls:


So, as long as there are no first class functions or comprehensions,
compilation is really easy.