Changes between Initial Version and Version 1 of Ticket #87
- Feb 3, 2006 7:03:11 PM (8 years ago)
initial v1 1 1 Add some definitions of technical terms users of this wiki may not be familiar with. 2 2 3 An example might be Predicativity (or equally, Impredicativity) in the context of type systems. (To do: offer definitions of these terms!) 3 An 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"