Changes between Version 1 and Version 2 of SoC2007Yhc


Ignore:
Timestamp:
Aug 21, 2007 11:22:44 AM (8 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.