Changes between Version 86 and Version 87 of TypeFunctions


Ignore:
Timestamp:
Dec 3, 2008 3:22:25 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v86 v87  
    1414 * Superclass equalities. 
    1515 * Data family instances in GADT form. 
     16 * Re-implement functional dependencies using explicit equalities. 
     17 
     18Speculative ideas: 
    1619 * [wiki:TypeFunctions/TotalFamilies Total type families.] 
    1720 * Closed synonym families. 
    18  * Re-implement functional dependencies using type families. 
    19  
    20 Speculative ideas: 
    2121 * [wiki:TypeFunctions/ClassFamilies Class families.] 
    2222 * 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). 
     
    5757 
    5858Furthermore, 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.] 
    6061 
    6162== References == 
    6263 
     64 * [http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html Type Checking with Open Type Functions.] Tom Schrijvers, Simon Peyton-Jones, Manuel M. T. Chakravarty, and Martin Sulzmann. In Proceedings of ICFP 2008 : The 13th ACM SIGPLAN International Conference on Functional Programming, ACM Press, pages 51-62, 2008. 
    6365 * [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. 
    6466 * [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.