Changes between Version 9 and Version 10 of PolymorphicComponents


Ignore:
Timestamp:
Jan 27, 2006 12:05:47 PM (10 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.