Play audio slide show -- Keyboard shortcut: 'x'  Lecture overview -- Keyboard shortcut: 'u'  Previous page: Types [Section] -- Keyboard shortcut: 'p'  Next page: Type checking -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Alphabetic index  Help page about these notes  Course home      Expressions, Types, and Functions - slide 12 : 46

Types
The notion of type is used to make programs more readable, make them run more efficient, and to detect certain errors before they cause errors in the calculation.