Структура и интерпретация компьютерных программ

поведение

мельчайшего переключателя моделируется квантовой механикой, которая описывается

дифференциальными уравнениями, точное поведение которых фиксируется в численных

приближениях, представленных в виде компьютерных программ

Говоря неформально, данные — это «материал», который мы хотим обрабатывать, а процедуры — это описания правил обработки данных.

Всякий язык

программирования обладает тремя предназначенными для этого механизмами: элементарные выражения, представляющие минимальные сущности, с которыми язык

имеет дело;

средства комбинирования, с помощью которых из простых объектов составляются

сложные;

средства абстракции, с помощью которых сложные объекты можно называть и обращаться с ними как с единым целым.