![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=1275)
-исчисление может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками
высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов,
аргументами которых могут быть другие операторы, а
значением также может быть оператор. Языки в этом семействе являются функциональными, поскольку они основаны на представлении о
функции или
операторе, включая функциональную аппликацию и функциональную абстракцию.