Go backward to The Typed lambda-Calculus
Go up to Top
Go forward to Record Types
Basic and Structured Types
- Basic types:
- Unit (trivial type, only element ())
- Bool (with if-then-else)
- Int (with arithmetic and comparison)
- Real (with arithmetic and comparison)
- String (with infix concatenation ^)
- Type constructors:
- (function space)
- x (Cartesian product)
- record types (labeled Cartesian products)
- variant types (labeled disjoint sums)
- Example:
- value p: Int x Bool = 3, true
fst(p), snd(p)
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: understand.tex,v 1.1 1996/06/12 09:38:21 schreine Exp schreine