Changes between Version 1 and Version 2 of SoC2007Yhc


Ignore:
Timestamp:
Aug 21, 2007 11:22:44 AM (7 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SoC2007Yhc

    v1 v2  
    11Mathieu 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. 
    22 
    3 Stage 1 (current): write a CHF engine. 
     3Stage 1: write a CHR engine. 
    44 
    55Stage 2: steal constraint rules for Haskell type-inference from Chameleon. 
    66 
    77Stage 3: add new CHRs to handle Haskell type system extensions. 
     8 
     9As of 20th August, we have a type-checking library called !TaiChi, which achieves stages 1 & 2.  During Sept, we hope to add stage 3.