Curry

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