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!