Changes between Version 3 and Version 4 of ClassMethodTypes


Ignore:
Timestamp:
Jan 28, 2006 5:24:34 AM (10 years ago)
Author:
chak@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ClassMethodTypes

    v3 v4  
    1313[http://www.cse.ogi.edu/~mpj/thih/ Typing Haskell in Haskell], and can be turned off in GHC with `-fglasgow-exts`.
    1414
     15== Cons ==
     16
     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.
     18
    1519== Tickets ==
    1620[[TicketQuery(description~=ClassMethodTypes)]]