Changes between Version 2 and Version 3 of GADTs


Ignore:
Timestamp:
Jan 27, 2006 12:52:49 PM (9 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GADTs

    v2 v3  
    3131 * [http://research.microsoft.com/Users/simonpj/papers/gadt/index.htm Simple unification-based type inference for GADTs] by Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn. Submitted to PLDI 2005. 
    3232 
     33== Tickets == 
     34[[TicketQuery(description~=GADTs)]] 
     35 
    3336== Pros == 
    3437 * New syntax for datatypes makes the types of data constructors clear, though may be adopted independently from GADTs. (Convenient for ExistentialQuantification)