|Version 1 (modified by malcolm.wallace@…, 7 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.