By dotCore
via manuel.github.com
Submitted: Jan 17 2013 / 11:55
Taf is a new Lisp that employs row polymorphism, found in such languages as O'Caml and MLPolyR, to enable a programming style that is fully type-safe, while maintaining Lisp's low overhead wrt. type system bureaucracy. Row polymorphism enables the use of tagged records with named fields, without having to predeclare record tags, as well as open generic functions, to which methods can be added.
Tweet
SaveShareSend
Tags: how-to, methodology, other languages, tools
Add your comment