Changes between Version 25 and Version 26 of Status/April07
- 05/01/07 00:51:55 (6 years ago)
v25 v26 51 51 System FC(X), an extension of System F with explicit equality 52 52 witnesses. This enables GHC to support GADTs and associated types, 53 with two new simple but powerful mechanisms. The paper is at 54 http://research.microsoft.com/~simonpj/papers/ext-f/. 53 with two new simple but powerful mechanisms. The paper is 54 . 55 55 Much of the conversion work was done by Kevin Donnelly, while he 56 56 was on an internship at Microsoft. … … 59 59 a modest generalisation of the ''associated data types'' 60 60 of our POPL'05 paper 61 http://research.microsoft.com/~simonpj/papers/assoc-types/. 61 . 62 62 [[BR]][[BR]] 63 63 This part is done. Now we are working on ''type-synonym families'' 64 (aka type functions ), which are considerably trickier that 65 indexed data types, at least so far as type inference is concerned. 64 (aka type functions), which are considerably trickier that 65 es, at least so far as type inference is concerned. 66 66 Tom Schrijvers is in Cambridge for three months to help us use ides 67 67 from Constraint Handling Rules to solve the inference problem.