Changes between Initial Version and Version 1 of Ticket #87


Ignore:
Timestamp:
Feb 3, 2006 7:03:11 PM (8 years ago)
Author:
flippa
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #87 – Description

    initial v1  
    11Add some definitions of technical terms users of this wiki may not be familiar with. 
    22 
    3 An example might be Predicativity (or equally, Impredicativity) in the context of type systems. (To do: offer definitions of these terms!) 
     3An example might be Predicativity (or equally, Impredicativity) in the context of type systems. A starter definition for those might be: 
     4 
     5"When talking about type systems, and ignoring historical context:  
     6 
     7 * Predicative: type variables only instantiate to monotypes 
     8 * Impredicative: type variables may be instantiated to any type"