| dbo:abstract
|
- Curry és un llenguatge experimental de programació en lògica funcional, basat en el llenguatge Haskell, que combina elements de llenguatge de programació funcional i programació lògica. Pren el nom del matemàtic Haskell Curry. El programa és expressat a través d'un conjunt de funcions expressats sota equacions o regles. (ca)
- Curry ist eine experimentelle funktionallogische Programmiersprache, die auf Haskell basiert. Sie vereint Elemente der funktionalen und logischen Programmierung, insbesondere Constraintprogrammierung. Sie erweitert Haskell mit Ausnahme des Überladens mittels Typklassen; sie sind lediglich von einigen Implementierungen als Spracherweiterung enthalten, beispielsweise vom Münster Curry Compiler. (de)
- 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. (en)
- 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. (es)
- Curry è un linguaggio di programmazione logico-funzionale derivato da Haskell e tuttora in fase di standardizzazione. Il linguaggio fu chiamato così in onore del logico statunitense Haskell Curry.Esso eredita la sintassi e le caratteristiche funzionali del padre, integrando alcuni componenti logiche che ne aumentano le potenzialità espressive. Nel seguito si riportano solo le differenze rispetto ad Haskell. (it)
- 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-ordefuncties, 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. (nl)
- Curry (Каррі) - вбудована мова проґрамування загального призначення. У Curry об'єднані дві парадигми декларативного проґрамування - функціональна і лоґічна. Більш того, в цій мові використані найбільш важливі операційні принципи подібних декларативних мов. Названа на честь американського ученого Гаскелла Каррі. Мова Каррі поєднує в собі можливості функціонального програмування (вкладені вирази, функції вищого порядку, ліниві обчислення), лоґічного програмування (лоґічні змінні, часткові структури даних, вбудована система пошуку) і методів проґрамування для паралельних систем (паралельне обчислення виразів з синхронізацією). Більше того мова Каррі надає додаткові механізми в порівнянні з чистими мовами проґрамування (у порівнянні з функціональними мовами - пошук і обчислення за неповними даними, в порівнянні з лоґічними мовами - більш ефективний механізм обчислень завдяки детермінізму і викликом за необхідністю для функцій). (uk)
- Curry — встраиваемый язык программирования общего назначения, реализующий две парадигмы декларативного программирования — функциональную и логическую. Назван в честь американского учёного Хаскелла Карри. Заимствования из функционального программирования — вложенные выражения, функции высших порядков, ленивые вычисления; элементы логического программирования — логические переменные, частичные структуры данных, встроенная система поиска. Среди особенностей — использование техник для параллельных систем, таких как параллельное вычисление выражений с синхронизацией по логическим переменным. Также язык предоставляет дополнительные механизмы по сравнению с чистыми языками программирования: по сравнению с функциональными языками — поиск и вычисления по неполным данным, по сравнению с логическими — более эффективный механизм вычислений благодаря детерминизму и вызову по необходимости для функций. Существует несколько реализаций язык: в PAKCS (Портлендский университет, Ахенский университет, Университет Киля) Curry-программы компилируются в код на Прологе; реализации KiCS и KiCS2 Университета Киля компилируют программы в код на Haskell; реализация MCC Университета Мюнстера обеспечивает компиляцию в машинный код. (ru)
- Curry，是一種實驗式的函數程式語言，基於Haskell而實作，混合了函數與邏輯編程，也加入約束編程的特性。它的名稱取自數學家哈斯凱爾·加里，在許多層面，它可以被視為是Haskell的超集合。 (zh)
|
| dbo:influencedBy
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 14310 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:designer
|
- Michael Hanus, Sergio Antoy, et al. (en)
|
| dbp:implementations
| |
| dbp:influencedBy
| |
| dbp:name
| |
| dbp:operatingSystem
| |
| dbp:paradigm
|
- functional, logic, non-strict, modular (en)
|
| dbp:typing
| |
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:wordnet_type
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Curry és un llenguatge experimental de programació en lògica funcional, basat en el llenguatge Haskell, que combina elements de llenguatge de programació funcional i programació lògica. Pren el nom del matemàtic Haskell Curry. El programa és expressat a través d'un conjunt de funcions expressats sota equacions o regles. (ca)
- Curry ist eine experimentelle funktionallogische Programmiersprache, die auf Haskell basiert. Sie vereint Elemente der funktionalen und logischen Programmierung, insbesondere Constraintprogrammierung. Sie erweitert Haskell mit Ausnahme des Überladens mittels Typklassen; sie sind lediglich von einigen Implementierungen als Spracherweiterung enthalten, beispielsweise vom Münster Curry Compiler. (de)
- 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. (en)
- 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. (es)
- Curry è un linguaggio di programmazione logico-funzionale derivato da Haskell e tuttora in fase di standardizzazione. Il linguaggio fu chiamato così in onore del logico statunitense Haskell Curry.Esso eredita la sintassi e le caratteristiche funzionali del padre, integrando alcuni componenti logiche che ne aumentano le potenzialità espressive. Nel seguito si riportano solo le differenze rispetto ad Haskell. (it)
- 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-ordefuncties, 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. (nl)
- Curry，是一種實驗式的函數程式語言，基於Haskell而實作，混合了函數與邏輯編程，也加入約束編程的特性。它的名稱取自數學家哈斯凱爾·加里，在許多層面，它可以被視為是Haskell的超集合。 (zh)
- Curry — встраиваемый язык программирования общего назначения, реализующий две парадигмы декларативного программирования — функциональную и логическую. Назван в честь американского учёного Хаскелла Карри. Существует несколько реализаций язык: в PAKCS (Портлендский университет, Ахенский университет, Университет Киля) Curry-программы компилируются в код на Прологе; реализации KiCS и KiCS2 Университета Киля компилируют программы в код на Haskell; реализация MCC Университета Мюнстера обеспечивает компиляцию в машинный код. (ru)
- Curry (Каррі) - вбудована мова проґрамування загального призначення. У Curry об'єднані дві парадигми декларативного проґрамування - функціональна і лоґічна. Більш того, в цій мові використані найбільш важливі операційні принципи подібних декларативних мов. Названа на честь американського ученого Гаскелла Каррі. (uk)
|
| rdfs:label
|
- Curry (llenguatge de programació) (ca)
- Curry (Programmiersprache) (de)
- Curry (programming language) (en)
- Curry (lenguaje de programación) (es)
- Curry (informatica) (it)
- Curry (programmeertaal) (nl)
- Curry (ru)
- Curry (uk)
- Curry (程式語言) (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| foaf:page
| |
| is dbo:influenced
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
