Fri Oct 28 17:02:37 EDT 2011

Simply typed functional language?

Is it useful to first implement a simply typed language with tuple
arguments (which is easier) and then use type restriction on top of
that to convert it into a first order language?

It might even be useful to have a compiler for such a language.  I
have a simple GC written in C already..