От издательства: В книге английских специалистов рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. При этом спецификация предметной области существенно упрощает труд программиста. Особое внимание уделяется вопросам реализации функциональных языков, основанных на лямбда-исчислении Черча. В качестве базового языка рассматривается функциональный язык Hope, имеющий простой и ясный синтаксис. Изложение сопровождается многочисленными примерами конкретных программ. Книга предназначена для программистов как начинающих, так и профессионалов, а также специалистов в области информатики. Примечание: Оригинальная монография была издана в 1988 г., и на сегодня уже многое изменилось в этой области, но ценность монографий времен начала пути - непреходяща, часто бывает необходимо понять откуда происходят современные идеи, какие соображения были изначально вложены в те или иные понятия.