Changes between Version 9 and Version 10 of PolymorphicComponents


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

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v9 v10  
    11[[PageOutline]] 
    22= Polymorphic Components = 
    3  
    4 '''[search:?q="PolymorphicComponents"&ticket=on Ticket(s)]''' 
    53 
    64== Brief Explanation == 
     
    3634 * distinguish from ExistentialQuantification (currently also marked with `forall`, but before the data constructor). 
    3735 
     36== Tickets == 
     37[[TicketQuery(description~=PolymorphicComponents)]] 
     38 
    3839== Pros == 
    3940 * type inference is a simple extension of Hindley-Milner.