Implement a better type checker for yhc
|Reported by:||malcolm.wallace||Owned by:||none|
|Cc:||Difficulty:||1 person Summer|
Description (last modified by KennKnowles)
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, 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.
Ideally, 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.
- Malcolm Wallace <malcolm.wallace@…>
- Charles Blundell <blundellc@…>
- Kenn Knowles <kknowles@…>
Change History (11)
comment:2 Changed 11 years ago by paolo
- Summary changed from implement a better type checker for yhc to Implement a better type checker for yhc