Аппликативный подход к программированию — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… … Википедия
аппликативный — аппликат ивный … Русский орфографический словарь
Аппликативный язык программирования — … Википедия
Аппликативное программирование — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… … Википедия
Curry — Семантика: мультипарадигменный: функциональный, логический Curry язык Curry является универсальным языком программирования, в котором объединены две парадигмы декларативного программирования функциональная и логическая. Более того, в этом языке… … Википедия
Карри, Хаскелл — Брукс (12 сентября 1900 1 сентября 1982) американский математик и логик. Программа его исследований[1] способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, дав начало логике… … Википедия
Нама (язык) — Нама Самоназвание: Khoekhoegowap Страны: Намибия, Ботсвана, Южно Африканская Республика … Википедия
Unlambda — Unlambda минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore). Он основан на комбинаторной логике, варианте Лямбда исчисления, который опускает оператор lambda. Язык полагается в основном на две… … Википедия
Суперкомбинаторы — Суперкомбинаторы это объекты, инвариантные относительно среды вычислений, которые формируются динамически, в ходе выполнения программы. Они устанавливают чисто объектную систему программирования, встроенную в комбинаторную логику. Тем самым … Википедия
Семантика вычислений — Семантика вычислений это определение процесса вычисления в виде последовательности правил перезаписи, которое вместе с представлением о сходимости впервые были использованы в контексте исчисления. Сходимость важна также в системах… … Википедия