dbo:abstract
|
- Hope is a small functional programming language developed in the 1970s at the University of Edinburgh.It predates Miranda and Haskell and is contemporaneous with ML, also developed at the University. Hope was derived from NPL, a simple functional language developed by Rod Burstall and John Darlington in their work on program transformation. NPL and Hope are notable for being the first languages with call-by-pattern evaluation and algebraic data types. Hope was named for Sir Thomas Hope (c. 1681–1771), a Scottish agricultural reformer, after whom Hope Park Square in Edinburgh, the location of the Department of Artificial Intelligence at the time of the development of Hope, was also named. (en)
- Hope是一种小型纯函数式编程语言,由、David MacQueen和,在1970年代于爱丁堡大学于开发。Hope派生自NPL语言,是Miranda和Haskell的先驱,并与在同一所大学开发的ML同时代。NPL和Hope著称于,是具有传模式调用的求值和代数数据类型的最初的语言。 Hope以(约1681年–1771年)命名。 (zh)
- Hope — функциональный язык программирования, разработанный в начале 1980-х годов; является предшественником языков Miranda и Haskell. В за август 1985 впервые опубликовано руководство по языку Hope. Пример программы вычисления факториала на языке Hope: dec fact : num -> num;--- fact 0 <= 1;--- fact n <= n*fact(n-1); В отличие от языка Haskell, изменение порядка выражений не изменяет поведения программы, так как в том случае, когда выражение подходит под несколько шаблонов, выбирается наиболее специфичный данному выражению шаблон. (ru)
- Hope — функційна мова програмування розроблена в 1970-ті в Единбурзькому університеті. Ця мова програмування була сучасником ML, та попередником та Haskell. Розроблена на основі дослідницької мови функційного програмування . Мови програмування NPL та Hope відомі як перші мови програмування, де було використано виконання команд за шаблоном та алгебричні типи даних. Мова програмування названа на честь шотландського реформатора сера Томаса Гоупа (1681—1771). (uk)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 4392 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
rdf:type
| |
rdfs:comment
|
- Hope是一种小型纯函数式编程语言,由、David MacQueen和,在1970年代于爱丁堡大学于开发。Hope派生自NPL语言,是Miranda和Haskell的先驱,并与在同一所大学开发的ML同时代。NPL和Hope著称于,是具有传模式调用的求值和代数数据类型的最初的语言。 Hope以(约1681年–1771年)命名。 (zh)
- Hope — функциональный язык программирования, разработанный в начале 1980-х годов; является предшественником языков Miranda и Haskell. В за август 1985 впервые опубликовано руководство по языку Hope. Пример программы вычисления факториала на языке Hope: dec fact : num -> num;--- fact 0 <= 1;--- fact n <= n*fact(n-1); В отличие от языка Haskell, изменение порядка выражений не изменяет поведения программы, так как в том случае, когда выражение подходит под несколько шаблонов, выбирается наиболее специфичный данному выражению шаблон. (ru)
- Hope — функційна мова програмування розроблена в 1970-ті в Единбурзькому університеті. Ця мова програмування була сучасником ML, та попередником та Haskell. Розроблена на основі дослідницької мови функційного програмування . Мови програмування NPL та Hope відомі як перші мови програмування, де було використано виконання команд за шаблоном та алгебричні типи даних. Мова програмування названа на честь шотландського реформатора сера Томаса Гоупа (1681—1771). (uk)
- Hope is a small functional programming language developed in the 1970s at the University of Edinburgh.It predates Miranda and Haskell and is contemporaneous with ML, also developed at the University. Hope was derived from NPL, a simple functional language developed by Rod Burstall and John Darlington in their work on program transformation. NPL and Hope are notable for being the first languages with call-by-pattern evaluation and algebraic data types. (en)
|
rdfs:label
|
- Hope (programming language) (en)
- Hope (язык программирования) (ru)
- Hope (мова програмування) (uk)
- Hope (编程语言) (zh)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:influencedBy
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is dbp:influencedBy
of | |
is foaf:primaryTopic
of | |