Curry

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

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

Ссылки

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


 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home