Changes between Version 2 and Version 3 of GADTs
- Timestamp:
- 01/27/06 04:52:49 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
GADTs
v2 v3 31 31 * [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. 32 32 33 == Tickets == 34 [[TicketQuery(description~=GADTs)]] 35 33 36 == Pros == 34 37 * New syntax for datatypes makes the types of data constructors clear, though may be adopted independently from GADTs. (Convenient for ExistentialQuantification)
