Changes between Version 10 and Version 11 of ClassMethodTypes


Ignore:
Timestamp:
Mar 28, 2006 3:53:17 PM (8 years ago)
Author:
chak@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ClassMethodTypes

    v10 v11  
    3131== Cons == 
    3232 
    33  * 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. 
     33 * There are alternative type-preserving translations, so this doesn't really matter much anymore: 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. 
    3434 
    3535== Tickets ==