| ... | ... | @@ -16,7 +16,7 @@ Associated types are data type and type synonym declarations in type classes. T |
|
|
|
|
|
|
|
## Pros
|
|
|
|
|
|
|
|
- Associated types are a functional alternative to [FunctionalDependencies](functional-dependencies), which are actually relational. (Why use relational programming on the value level if we don't do it on the value level?)
|
|
|
|
- Associated types are a functional alternative to [FunctionalDependencies](functional-dependencies), which are actually relational. (Why use relational programming on the type level if we don't do it on the value level?)
|
|
|
|
- They avoid some problems with FDs (described in the above papers).
|
|
|
|
- They closes the gap reported in [ A comparative study of language support for generic programming](http://www.osl.iu.edu/publications/prints/2003/comparing_generic_programming03.pdf)
|
|
|
|
|
| ... | ... | |
