Changes between Version 86 and Version 87 of TypeFunctions
- Dec 3, 2008 3:22:25 AM (7 years ago)
v86 v87 14 14 * Superclass equalities. 15 15 * Data family instances in GADT form. 16 17 18 16 19 * [wiki:TypeFunctions/TotalFamilies Total type families.] 17 20 * Closed synonym families. 18 * Re-implement functional dependencies using type families. 19 20 Speculative ideas: 21 21 * [wiki:TypeFunctions/ClassFamilies Class families.] 22 22 * Our type-indexed data types are open. However, we currently don't allow case expressions mixing constructors from different indexes. We could do that if we had a story for open function definitions outside of classes. Class instances of entire data families (including `deriving` clauses at family declarations to derive for all instances) requires the same sort of capabilities as case expressions mixing data constructors from different indexes. This is, as they require to build a dictionary that applies to all family instances (as opposed to a distinct dictionary per instance, which is what we have now). … … 57 57 58 58 Furthermore, we have 59 * [wiki:TypeFunctionsSolving details on the normalisation and solving of type equalities.] 59 * [wiki:TypeFunctionsSolving details on the normalisation and solving of type equalities] and 60 * [wiki:??? integrating class and equality constraint solving.] 60 61 61 62 == References == 62 63 64 63 65 * [http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html Associated Types with Class.] Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, and Simon Marlow. In Proceedings of The 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), ACM Press, pages 1-13, 2005. 64 66 * [http://www.cse.unsw.edu.au/~chak/papers/CKP05.html Associated Type Synonyms.] Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. In Proceedings of The Tenth ACM SIGPLAN International Conference on Functional Programming, ACM Press, pages 241-253, 2005.