Haskell is a standardized, purely functional programming language with non-strict semantics, named after logician Haskell Curry.

PropertyValue
dbpprop:abstract
  • Haskell is a standardized, purely functional programming language with non-strict semantics, named after logician Haskell Curry. (en)
  • Haskell es un lenguaje de programación puramente funcional de propósito general y fuertemente tipificado. Su nombre proviene del lógico Haskell Curry. En los años 1980 se constituyó un comité cuyo objetivo era crear un lenguaje funcional que reuniera las características de los múltiples lenguajes funcionales de la época, el más notable Miranda, y resolviera la confusión creada por la proliferación de los mismos. El lenguaje evoluciona rápidamente con y como los representantes actuales del estándar de facto. El último estándar semi-oficial es Haskell 98, con la intención de especificar una versión mínima y compatible del lenguaje como base para futuras extensiones y para su enseñanza. Las características más interesantes de Haskell incluyen el soporte para tipos de datos y funciones recursivas, listas, tuplas, guardas y calce de patrones. La combinación de las mismas pueden resultar en algunas funciones casi triviales cuya versión en lenguajes imperativos pueden llegar a resultar extremadamente tediosas de programar. Haskell es, desde 2002, uno de los lenguajes funcionales sobre los que más se ha investigado. Se han desarrollado muchas variantes:* Versiones paralelas del MIT y, ambas denominadas Parallel Haskell. Más versiones paralelas y distribuidas de Haskell llamadas Distributed Haskell (anteriormente Goffin) y Eden Una versión con ejecución especulativa: Eager Haskell Varias versiones orientadas a objetos: Haskell++, O'Haskell y Mondrian. Una versión educativa llamada Gofer desarrollada por Mark Jones que fue suplantada por Hugs (ver abajo). Para información más detallada, referirse al sitio oficial o a los links al final de este artículo. (es)
  • Haskell ist eine rein funktionale Programmiersprache, benannt nach dem US-amerikanischen Mathematiker Haskell Brooks Curry, dessen Arbeiten zur mathematischen Logik eine Grundlage funktionaler Programmiersprachen bilden. Haskell basiert auf dem Lambda-Kalkül, weshalb auch der griechische Buchstabe Lambda als Logo verwendet wird. Die wichtigsten Implementierungen sind der Glasgow Haskell Compiler (GHC) und Hugs, ein Haskell-Interpreter. (de)
  • Haskell on standardoitu, puhtaasti funktionaalinen ohjelmointikieli. Se on nimetty matemaatikko Haskell Curryn mukaan. Sitä on kehitetty vuodesta 1987. Päästandardi on Haskell 98, joka määrittelee kielen ytimen, jossa on kaikki perustoiminnallisuus, joka on siirrettävä ja joka on sopiva opetuskäyttöön. Lähes kaikki kielen toteutukset tuovat näiden päälle omia laajennuksiaan. Tunnetuimpia toteutuksia ovat GHC ja Hugs . Joitain kielen tärkeitä ominaispiirteitä ovat hahmonsovitus, funktion osittainen soveltaminen, listankäsittely, vartiolausekkeet ja määriteltävät operaattorit. Kieli myös tukee rekursiivisia funktioita, algebraisia tietotyyppejä ja laiskaa laskemista. Erityisiä piirteitä ovat monadit ja tyyppiluokat. Näiden ansiosta Haskellilla on helppo kirjoittaa tietyntyyppisiä ohjelmia, joiden kirjoittaminen olisi huomattavasti vaikeampaa proseduraalisilla ohjelmointikielillä.Tällä hetkellä Haskell on saanut suosiota lähinnä akateemisissa piireissä, ja se on ainakin Yhdysvalloissa yksi suosituimpia tutkimuskäytössä olevia kieliä sekä kansainvälisesti yksi tärkeimmistä akateemisista ohjelmoinnin opetukseen käytettävistä kielistä. Tästä huolimatta kieltä käytetään jonkin verran myös kaupallisilla aloilla (mm. Credit Suisse ja Linspire). Avoimen lähdekoodin projekteissa sitä käytetään hyvin vähän, joskin muutama merkittävä poikkeus löytyy, kuten Audrey Tangin Pugs sekä Darcs (hajautettu versionhallintajärjestelmä). (fi)
  • Haskell est un langage de programmation fonctionnel. Il est fondé sur le lambda-calcul et la logique combinatoire. Son nom vient de celui du mathématicien et logicien Haskell Brooks Curry. Il a été créé en 1985. Le dernier standard semi-officiel est Haskell 98, c'est une version minimale et portable du langage conçue à des fins pédagogiques et comme base de futures extensions. Le langage continue d'évoluer rapidement, avec Hugs et GHC (voir ci-dessous), constituant ainsi le standard de facto. Les fonctionnalités les plus intéressantes de Haskell sont le support pour les fonctions récursives, l'inférence de types, les listes en compréhension et l'évaluation paresseuse. Ces fonctionnalités, surtout si on les combine, rendent facile l'écriture des fonctions. Haskell se distingue également par l'utilisation de monades pour les entrées/sorties.En 2002, c'est probablement le langage fonctionnel sur lequel le plus de recherches ont été entreprises. Plusieurs variantes ont été développées. Des versions parallélisées faites au Laboratory for Computer Science du Massachusetts Institute of Technology et à l'Université de Glasgow ont toutes deux été appelées Parallel Haskell. Des versions plus parallélisées et plus distribuées sont appelées Distributed Haskell et Eden. Une version d'exécution spéculative, Eager Haskell et plusieurs versions orientées objets, Haskell++, O'Haskell et Mondrian ont vu le jour.Il existe aussi d'autres langages similaires au Haskell:Le Concurrent Clean qui offre un support pour la création de GUI ainsi que CAL qui tourne sur VM java et est prévu pour s'intégrer comme extension d'API java. Une version éducative de Haskell appelée Gofer a été développée par Mark Jones, et a finalement été supplantée par HUGS, le Système Gofer de l'Utilisateur Haskell (Haskell User's Gofer System). (fr)
  • Haskell è un linguaggio di programmazione, creato da un apposito comitato negli anni '80 e chiamato così in onore del logico Haskell Curry. È un linguaggio funzionale, dove l'esecuzione del programma non è dettata dai passi successivi dei linguaggi procedurali tradizionali, ma è il risultato della soluzione di equazioni matematiche. Rispetto ad altri linguaggi dello stesso tipo supporta una semantica di tipo lazy in cui gli argomenti delle funzioni vengono valutati se e soltanto quando richiesto. Altre caratteristiche distintive riguardano il sistema dei tipi, la purezza delle funzioni e l'applicazione parziale di funzioni automatica.È stato creato da un comitato formatosi nel 1987 con il compito specifico di definire un linguaggio con tali caratteristiche. Il precursore diretto di Haskell è Miranda, inventato nel 1985. L'ultima versione del linguaggio è chiamata Haskell 98 e fornisce una versione minimale e portabile del linguaggio.Il linguaggio è tuttora in fase di rapida evoluzione, con Hugs e GHC che ne rappresentano lo standard di fatto. Nel 2006 è iniziato un lavoro di revisione dello standard Haskell 98 mirato a produrne un'evoluzione conservativa chiamata informalmente Haskell' (Haskell prime). (it)
  • Haskell(ハスケル)は非正格な動作を持つ純粋関数型プログラミング言語である。名称は論理学者であるハスケル・カリー(Haskell B. Curry)に由来する。 (ja)
  • Haskell is een functionele programmeertaal vernoemd naar de wiskundige Haskell Brooks Curry. (nl)
  • Haskell to funkcyjny język programowania nazwany na cześć Haskella Currego. Jego specyficzne cechy to m.in. leniwe wartościowanie, monady, statyczny polimorfizm, klasy typów, definiowalne operatory, strażnicy, wbudowane wsparcie dla literate programming. Pliki Haskella mają rozszerzenie . hsChoć semantyka leniwej ewaluacji może być w pewnych zastosowaniach niewygodna, podobnie jak brak biblioteki porównywalnej z ocamlowską, Haskell nadrabia to wyjątkowo czytelną składnią. W szczególności widać na tym polu kontrast wobec języków takich jak Ocaml czy LISP. Haskel był początkowo intensywnie rozwijany wokół ośrodka University of Glasgow, popularny kompilator tego języka to Glasgow Haskel Compiler kompilujący szybki kod maszynowy porównywalny w szybkości wykonania do kodów z GCC . Jest to jeden z nowszych dynamicznie rozwijanych języków, leniwy kod jest przydatny przy równoległym wykonywaniu programu w wieloprocesorowych systemach. Kilka przykładów:-- Komentarzsilnia 1 = 1silnia n = n*silniasilnia2 n = product [1..n]fib 0 = 0fib 1 = 1fib n = fib + fiback = y+1ack = ackack = ack-- przykład użycia strażnikówsign x | x > 0 = 1 | x == 0 = 0 | x < 0 = -1myproduct = 1myproduct = n * myproduct mmysum = 0mysum = n + mysum mdata TreeOfMath = Mult TreeOfMath TreeOfMath | Div TreeOfMath TreeOfMath | Add TreeOfMath TreeOfMath | Sub TreeOfMath TreeOfMath | Leaf Floatcompute = compute x * compute ycompute = compute x / compute ycompute = compute x + compute ycompute = compute x - compute ycompute = xshowme = ""showme = ""showme = ""showme = ""showme = show xqsort = qsort = qsort less ++ x: where less = [ a | a <- xs, a < x ] more = [ a | a <- xs, a >= x ]-- lista liczb pierwszychprimes = map head $ iterate [2..]-- lista liczb FibonacciegolistFib = 1:1:-- wyrażenia TreeOfMath mają postać: (Sub) (pl)
  • Haskell é uma linguagem de programação puramente funcional, de propósito geral, nomeada em homenagem ao lógico Haskell Curry. Seu último padrão semi-oficial é o Haskell 98, destinado a especificar uma versão mínima e portável da linguagem para o ensino e como base para futuras extensões. (pt)
  • Háskell (русск. Ха́скелл или Ха́скель) — функциональный язык программирования. Является одним из самых распространённых ленивых языков программирования. Имеет очень развитую систему типизации, однако система модулей разработана хуже. Последний стандарт языка, ставший стандартом функционального программирования — Haskell-98. Берёт своё начало из языка Miranda, который был разработан Дэвидом Тёрнером в качестве стандартного функционального языка. Назван по имени математика Хаскелла Карри. (ru)
  • Haskell är ett funktionellt programspråk. Utvecklingen av språket, som fick sitt namn efter den Nordamerikanska logikern Haskell Curry, startades 1987 av en internationell kommitté. Femton år senare, år 2003, publicerade de sedan en stabil definition av språket. Haskell bygger till stor del, som många andra funktionella programspråk, på lambdauttryck och rekursivitet, men har också ett starkt typsystem och flera andra relativt ovanliga egenskaper som exempelvis lat evaluering. Språket är också konstruerat för att vara så kompakt och så likt matematik som möjligt, och lånar därför symboler ur både logiken och matematiken. Det finns flera implementationer av Haskell, mest kända är tolken Hugs och kompilatorn GHC, Glaskow Haskell Compiler, båda två är fri programvara. Hugs är en läs-tolka-skriv-loop liknande den som många Lisp-system har och används för att interaktivt köra och testa sina program och funktioner. (sv)
  • Haskell是一种纯函数式编程语言,它的命名源自美国数学家Haskell Brooks Curry,他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Miranda的基础上标准化的,并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」(Lambda)作为自己的标志。Haskell语言的最重要的两个应用是Glasgow Haskell Compiler (GHC)和Hugs(一个Haskell语言的编译器)。本語言的特式是利用很簡單的敘述就可以完成链表、矩陣等數據結構。 (zh)
dbpprop:designer
dbpprop:dialects
dbpprop:fileExt
  • .hs, .lhs (en)
dbpprop:hasPhotoCollection
dbpprop:implementations
dbpprop:influenced
dbpprop:influencedBy
dbpprop:logo
dbpprop:name
  • Haskell (en)
dbpprop:operatingSystem
  • portable (en)
dbpprop:paradigm
  • functional, non-strict, modular (en)
dbpprop:reference
dbpprop:typing
dbpprop:website
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:year
  • 1990 (xsd:integer)
rdfs:comment
  • Haskell is a standardized, purely functional programming language with non-strict semantics, named after logician Haskell Curry. (en)
  • Haskell es un lenguaje de programación puramente funcional de propósito general y fuertemente tipificado. (es)
  • Haskell ist eine rein funktionale Programmiersprache, benannt nach dem US-amerikanischen Mathematiker Haskell Brooks Curry, dessen Arbeiten zur mathematischen Logik eine Grundlage funktionaler Programmiersprachen bilden. (de)
  • Haskell on standardoitu, puhtaasti funktionaalinen ohjelmointikieli. Se on nimetty matemaatikko Haskell Curryn mukaan. (fi)
  • Haskell est un langage de programmation fonctionnel. Il est fondé sur le lambda-calcul et la logique combinatoire. (fr)
  • Haskell è un linguaggio di programmazione, creato da un apposito comitato negli anni '80 e chiamato così in onore del logico Haskell Curry. (it)
  • Haskell(ハスケル)は非正� �な動作を持つ純粋関数型プログラミング言語である。名称は論理学者であるハスケル・カリー(Haskell B. (ja)
  • Haskell is een functionele programmeertaal vernoemd naar de wiskundige Haskell Brooks Curry. (nl)
  • Haskell to funkcyjny język programowania nazwany na cześć Haskella Currego. Jego specyficzne cechy to m.in. (pl)
  • Haskell é uma linguagem de programação puramente funcional, de propósito geral, nomeada em homenagem ao lógico Haskell Curry. (pt)
  • Háskell (русск. Ха́скелл или Ха́скель)� — функциональный язык программирования. (ru)
  • Haskell är ett funktionellt programspråk. (sv)
  • Haskell是一种纯函数式编程语言,它的命名源自美国数学家Haskell Brooks Curry,他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Miranda的基础上� �准化的,并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」(Lambda)作为自己的� �志。Haskell语言的最重要的两个应用是Glasgow Haskell Compiler (GHC)和Hugs(一个Haskell语言的编译器)。本語言的特式是利用很簡單的敘述就可以完成链表、矩陣等數據結構。 (zh)
rdfs:label
  • Haskell (programming language) (en)
  • Haskell (es)
  • Haskell (Programmiersprache) (de)
  • Haskell (fi)
  • Haskell (fr)
  • Haskell (it)
  • Haskell (ja)
  • Haskell (nl)
  • Haskell (pl)
  • Haskell (linguagem de programação) (pt)
  • Haskell (ru)
  • Haskell (sv)
  • Haskell (zh)
owl:sameAs
skos:subject
foaf:depiction
foaf:img
foaf:page
is dbpedia-owl:language of
is dbpprop:disambiguates of
is dbpprop:influenced of
is dbpprop:influencedBy of
is dbpprop:language of
is dbpprop:programmedIn of
is dbpprop:programmingLanguage of
is dbpprop:redirect of