Version 1 (modified by malcolm.wallace@…, 10 years ago) (diff)


Mathieu will be using CHRs (Constraint Handling Rules) as the basic underlying technology for type checking in Yhc/nhc98. The approach is already used by Sulzmann's Chameleon system, and Leijen's MLF.

Stage 1 (current): write a CHF engine.

Stage 2: steal constraint rules for Haskell type-inference from Chameleon.

Stage 3: add new CHRs to handle Haskell type system extensions.