Curry

Curry

Семантика:	мультипарадигменный: функциональный, логический

Curry в язык Curry является универсальным языком программирования, в котором объединены две парадигмы декларативного программирования в функциональная и логическая. Более того, в этом языке использованы наиболее важные операционные принципы подобных декларативных языков. Назван в честь американского учёного Хаскелла Карри.

Язык Curry плавно соединяет в себе возможности функционального программирования (вложенные выражения, функции высших порядков, ленивые вычисления), логического программирования (логические переменные, частичные структуры данных, встроенная система поиска) и методов программирования для параллельных систем (параллельное вычисление выражений с синхронизацией по логическим переменным). Более того, язык Curry предоставляет дополнительные механизмы по сравнению с чистыми языками программирования (по сравнению с функциональными языками в поиск и вычисления по неполным данным, по сравнению с логическими языками в более эффективный механизм вычислений благодаря детерминизму и вызову по необходимости для функций).

См. также

• Mercury
• Аппликативный подход к программированию
• Объектно-ориентированное программирование
• Структурное программирование

Ссылки

• Язык Curry в небольшой сайт, где на официальном уровне описывается язык программирования Curry. На сайте представлено: отчёт, учебник, научные статьи о языке, компиляторы и интерпретаторы, примеры программ, а также интегрированная среда разработки с графическим интерфейсом пользователя.