| ... | ... | @@ -32,4 +32,4 @@ Associated types are data type and type synonym declarations in type classes. T |
|
|
|
## Cons
|
|
|
|
|
|
|
|
|
|
|
|
- Only a prototype implementation so far |
|
|
|
- Only a prototype implementation so far. We are in the process of implementing them in GHC, but that is a significant undertaking as they have to play nicely along with other extensions (e.g., GADTs) and we are after a more lightweight type-preserving translation than the one in the POPL paper. So, given requirement that all Haskell' features need to have been implemented in at least on Haskell system, it seems unlikely that we can meet the currently proposed Haskell' timeline. |
