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 @ adcfa4ca
......@@ -39,7 +39,7 @@ Can someone submit some real world examples of where this would be useful?
## 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, 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.
- 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](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
......