Обзор возможностей

Примитивные выражения

- базовые типы данных,
- встроенные функции.

Средства комбинирования

- как из простых составляются сложные.

Средства абстракции

- как именовать сложные выражения,
- как обращаться с ними словно с единым целым.

Обобщение и выработка шаблонов (general patterns)

- функции высших порядков,
- процедуры как данные.