Changes between Version 4 and Version 5 of ClassMethodTypes


Ignore:
Timestamp:
Feb 2, 2006 2:10:01 AM (8 years ago)
Author:
chak@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ClassMethodTypes

    v4 v5  
    1515== Cons == 
    1616 
    17  * In the absence of this restriction, a type-preserving translation of a type system including either AssociatedTypes or FunctionalDependencies becomes much more difficult (see Section 4.3.4 of [http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html Associated Types with Class], POPL'05).  Even if we adopt neither of these two type system features for Haskell', we will impact future directions of Haskell. 
     17 * In the absence of this restriction, a type-preserving translation of a type system including either AssociatedTypes or FunctionalDependencies becomes much more difficult (see Section 4.3.4 of [http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html Associated Types with Class], POPL'05, and ClassMethodTypes/TypedTrans).  Even if we adopt neither of these two type system features for Haskell', we will impact future directions of Haskell. 
    1818 
    1919== Tickets ==