Curry is an experimental functional logic programming language, based on the Haskell language. It merges elements of functional and logic programming, including constraint programming integration. It is nearly a superset of Haskell, lacking support mostly for overloading using type classes, which some implementations provide anyway as a language extension, such as the Münster Curry Compiler.

PropertyValue
dbpprop:abstract
  • Curry is an experimental functional logic programming language, based on the Haskell language. It merges elements of functional and logic programming, including constraint programming integration. It is nearly a superset of Haskell, lacking support mostly for overloading using type classes, which some implementations provide anyway as a language extension, such as the Münster Curry Compiler.
  • Curry es un lenguaje experimental de programación en lógica funcional, basado en el lenguaje Haskell, que combina elementos de programación funcional y programación lógica. El programa es expresado a través de un conjunto de funciones expresados bajo ecuaciones o reglas.
  • Curry is een functionele en logische programmeertaal die gebaseerd is op de syntaxis van de functionele programmeertaal Haskell. Curry bevat door deze combinatie kenmerken van functionele talen, zoals luie evaluatie en hogere-orde functies, en van logische talen, zoals logische variabelen. De taal is vernoemd naar de Amerikaanse wiskundige en logicus Haskell Brooks Curry. Er zijn verscheidene implementaties van Curry, zoals PAKCS (Portland Aachen Kiel Curry System) en de Münster Curry Compiler.
  • Curry — язык Curry является универсальным языком программирования, в котором объединены две парадигмы декларативного программирования — функциональная и логическая. Более того, в этом языке использованы наиболее важные операционные принципы подобных декларативных языков. Назван в честь американского учёного Хаскелла Карри. Язык Curry плавно соединяет в себе возможности функционального программирования, логического программирования (логические переменные, частичные структуры данных, встроенная система поиска) и методов программирования для параллельных систем (параллельное вычисление выражений с синхронизацией по логическим переменным). Более того, язык Curry предоставляет дополнительные механизмы по сравнению с чистыми языками программирования (по сравнению с функциональными языками — поиск и вычисления по неполным данным, по сравнению с логическими языками — более эффективный механизм вычислений благодаря детерминизму и вызову по необходимости для функций).
dbpprop:designer
  • Michael Hanus, et al.
dbpprop:hasPhotoCollection
dbpprop:implementations
dbpprop:name
  • Curry
dbpprop:operatingSystem
  • portable
dbpprop:paradigm
dbpprop:reference
dbpprop:typing
dbpprop:website
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
rdfs:comment
  • Curry is an experimental functional logic programming language, based on the Haskell language. It merges elements of functional and logic programming, including constraint programming integration. It is nearly a superset of Haskell, lacking support mostly for overloading using type classes, which some implementations provide anyway as a language extension, such as the Münster Curry Compiler.
  • Curry es un lenguaje experimental de programación en lógica funcional, basado en el lenguaje Haskell, que combina elementos de programación funcional y programación lógica. El programa es expresado a través de un conjunto de funciones expresados bajo ecuaciones o reglas.
  • Curry is een functionele en logische programmeertaal die gebaseerd is op de syntaxis van de functionele programmeertaal Haskell. Curry bevat door deze combinatie kenmerken van functionele talen, zoals luie evaluatie en hogere-orde functies, en van logische talen, zoals logische variabelen. De taal is vernoemd naar de Amerikaanse wiskundige en logicus Haskell Brooks Curry. Er zijn verscheidene implementaties van Curry, zoals PAKCS (Portland Aachen Kiel Curry System) en de Münster Curry Compiler.
  • Curry — язык Curry является универсальным языком программирования, в котором объединены две парадигмы декларативного программирования — функциональная и логическая. Более того, в этом языке использованы наиболее важные операционные принципы подобных декларативных языков.
rdfs:label
  • Curry (programming language)
  • Lenguaje Curry
  • Curry (programmeertaal)
  • Curry
owl:sameAs
skos:subject
foaf:homepage
foaf:page
is dbpprop:disambiguates of
is dbpprop:influenced of
is dbpprop:redirect of