Irken
Read about Irken.
Browse the Irken source code, or download a tarball.
Admire its Simplified BSD License.
Check out the Pottier/Remy Constraint-Based Type Inference engine, under construction
Status
- Feb 2009: taking a crash course in Type Theory and Constraint Logic Programming to better understand how to add records/structs to the Irken Low language.
- Aug 2009: I'm trying to code up Pottier and Remy's constraint-based type inference algorithm from "Advanced Topics in Types and Programming Languages", Chapter 10.
- Sep 2009: very nearly done with the pottier/remy implementation!
- Oct 2009: several rewrites of the type inference, I've made it much faster/simpler, and added support for rows (both records and variants). Soon it will be ready for integration into Irken!
- Oct 28 2009: first integration of the new solver with irken
- Nov 3 2009: record literals, record extension. next up: row variants.
The Blog
Moved status updates to a blog, An Alien Tongue. Comments appreciated!
Sam Rushing
Last modified: Wed Dec 2 14:05:30 PST 2009