Saturday, September 17, 2011

Abstraction - Core

After a few years of working on a side project, aimed at replacing the simpler Code Generation Framework named the Objectified Intermediate Language, I've finally started to get to the point where the functional parity between the two is equivalent.  The newer OIL framework allows more and understands the concepts behind true generic typing.

The initial tests of constant folding, type-parameter constraint validation, short-circuiting, simple member look-up, expression typing, and type inference, have all been removed for a simple reason: the tests involved no scope, had no concept of access level controls, and lacked the ingenuity of the real thing.

Once work has been finished on the generic replacement mechanisms I'll focus on structuring the actual phase based compiler.

It's been a long haul, but I've only just begun.