20-CS-4003-001 Organization of Programming Languages Fall 2017
Scheme Types

Lambda calculus, Type theory, Formal semantics, Program analysis

    Prev     Next     All lectures

Data types in Scheme

Booleans -  Atomic values (#t / '()).
Characters -  Atomic symbols such as #\a.
Numbers -  Integers of unlimited size, also complex numbers like 1+2i.
Strings -  Double quoted list of characters.
Cons pair -  Pair of two objects.
Lists -  String of any number of objects ending in a null object.
Procedures -  Procedures are first-class objects - they can be passed as arguments and returned as values.