Основы функционального программирования/Структуры данных и базисные операции: различия между версиями
Содержимое удалено Содержимое добавлено
→Введение: - опечатку исправил |
Стилистика |
||
Строка 8:
Для того, чтобы рассматривать теоретические основы функционального программирования, необходимо в первую очередь ввести некоторые соглашения, описа́ть обозначения и построить некоторую формальную систему.
Пусть заданы объекты некоторого первичного типа <math>A</math>. Сейчас совершенно не важно, что именно представляют собой эти выделенные объекты. Обычно считается, что на этих объектах определён набор базисных операций и предикатов. По традиции, которая пошла ещё от [[w:МакКарти, Джон|МакКарти]] (автор [[w:Лисп|Lisp’а]]), такие объекты называются атомами. В теории фактический способ реализации базисных операций и [[w:Предикат|предикатов]] совершенно не важен, их существование просто постулируется.
В качестве базисных операций традиционно (и в первую очередь это объясняется теоретической необходимостью) выделяются следующие три:
|