Manuel Simoni's blog about programming (languages).
Showing posts with label
taf
.
Show all posts
Showing posts with label
taf
.
Show all posts
Friday, February 1, 2013
Taf's translation to O'Caml for type-checking
›
Taf is my new vapor-Lisp with row polymorphism, delimited continuations, and hygienic macros. (Warning: incoherent rambling ahead!) Taf h...
1 comment:
Monday, January 14, 2013
Current project
›
In my quest for a good Lisp, I could no longer ignore static types. See Taf - A plan for a statically-typed Lisp . There shouldn't b...
6 comments:
›
Home
View web version
