- Curry
-
Curry Семантика: Curry — язык Curry является универсальным языком программирования, в котором объединены две парадигмы декларативного программирования — функциональная и логическая. Более того, в этом языке использованы наиболее важные операционные принципы подобных декларативных языков. Назван в честь американского учёного Хаскелла Карри.
Язык Curry плавно соединяет в себе возможности функционального программирования (вложенные выражения, функции высших порядков, ленивые вычисления), логического программирования (логические переменные, частичные структуры данных, встроенная система поиска) и методов программирования для параллельных систем (параллельное вычисление выражений с синхронизацией по логическим переменным). Более того, язык Curry предоставляет дополнительные механизмы по сравнению с чистыми языками программирования (по сравнению с функциональными языками — поиск и вычисления по неполным данным, по сравнению с логическими языками — более эффективный механизм вычислений благодаря детерминизму и вызову по необходимости для функций).
См. также
- Mercury
- Аппликативный подход к программированию
- Объектно-ориентированное программирование
- Структурное программирование
Ссылки
- Язык Curry — небольшой сайт, где на официальном уровне описывается язык программирования Curry. На сайте представлено: отчёт, учебник, научные статьи о языке, компиляторы и интерпретаторы, примеры программ, а также интегрированная среда разработки с графическим интерфейсом пользователя.
Основные языки программирования (сравнение • IDE • история • хронология) Используемые
в разработкеАда • APL • Язык ассемблера • ActionScript • ABAP/4 • AutoIt • AWK • Бейсик • Си • Кобол • C++ • C# • Cω • Clarion • Clojure • ColdFusion • Common Lisp • D • dBase • Delphi • Eiffel • Erlang • Euphoria • F# • Форт • Фортран • Gambas • Go • Groovy • HAL/S • Haskell • Icon • Java • JavaScript • Limbo • Lua • Модула-3 • Object Pascal • Objective-C • OCaml • Oz • Parser • Паскаль • Компонентный Паскаль • Perl • PHP • PowerBASIC • Python • ПЛ/1 • Пролог • Ruby • Scala • Scheme • Smalltalk • SQL • PL/SQL • Tcl • Vala • Visual Basic (.NET)
Академические IEC 61131-3 Instruction List • ST • FBD • Ladder Diagram (LD) • SFC
Прочие Эзотерические Визуальные Категории:- Языки программирования по алфавиту
- Языки программирования, появившиеся в 1990-х
- Свободные компиляторы и интерпретаторы
- Языки программирования семейства Haskell
- Языки логического программирования
Wikimedia Foundation. 2010.