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)