Skip to content

Changes

Page history
Edit ClassMethodTypes authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Hide whitespace changes
Inline Side-by-side
class-method-types.md
View page @ cc8988a9
......@@ -25,7 +25,7 @@ However this restriction is not implemented by Hugs, following a suggestion of M
## Cons
- In the absence of this restriction, a type-preserving translation of a type system including either [AssociatedTypes](associated-types) or [FunctionalDependencies](functional-dependencies) becomes much more difficult (see Section 4.3.4 of [ Associated Types with Class](http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html), POPL'05). Even if we adopt neither of these two type system features for Haskell', we will impact future directions of Haskell.
- In the absence of this restriction, a type-preserving translation of a type system including either [AssociatedTypes](associated-types) or [FunctionalDependencies](functional-dependencies) becomes much more difficult (see Section 4.3.4 of [ Associated Types with Class](http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html), POPL'05, and [ClassMethodTypes/TypedTrans](class-method-types/typed-trans)). Even if we adopt neither of these two type system features for Haskell', we will impact future directions of Haskell.
## Tickets
......