Changes between Version 5 and Version 6 of Ticket #81


Ignore:
Timestamp:
Mar 6, 2007 9:04:39 PM (7 years ago)
Author:
malcolm.wallace@…
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #81 – Description

    v5 v6  
    1 The implementation of type inference in yhc (also used in nhc98) is occasionally incorrect, always difficult to understand and modify, and entirely undocumented.  As a result, there is no hope of extending it to deal with multi-parameter type classes, functional dependencies, associated types, GADTs, or any of the other exciting and widely-used type-system extensions.  The solution - rip it out and replace it completely.  There are a few key requirements:  it must be maintainable, it must be correct, it must give reasonable error messages.  Speed is not a goal. 
     1The implementation of type inference in yhc (also used in nhc98) is occasionally incorrect, always difficult to understand and modify, and entirely undocumented.  As a result, there is no hope of extending it to deal with multi-parameter type classes, functional dependencies, associated types, GADTs, rank-N, or any of the other exciting and widely-used type-system extensions.  The solution - rip it out and replace it completely.  There are a few key requirements:  it must be maintainable, it must be correct, it must give reasonable error messages.  Speed is not a goal. 
     2 
     3Ideally, you will also implement one or more of the extensions noted above.  There are opportunities to engage with cutting-edge type techniques like constraint-based resolution, or just to go for plain and simple H-M-style. 
    24 
    35= Interested Mentors = 
     
    57 
    68= Interested Students = 
    7  * Leon.P.Smith <[mailto:leon.p.smith@gmail.com]> 
    8  * Twan van Laarhoven <[mailto:twanvl@gmail.com]> 
     9 * add yourself!