taf
taf copied to clipboard
A Lisp with row polymorphism, delimited continuations, and hygienic macros. [vaporware]
- Taf Programming Language
Newest: [[http://manuel.github.com/taf/doc/manual.html][Taf Language Manual (sketch)]].
See [[http://manuel.github.com/taf/doc/plan.html][Taf - A plan for a statically-typed Lisp]].
There's also an older article about [[http://manuel.github.com/taf/doc/translating.html][translating Taf to OCaml]] for type-checking.