| dbpprop:abstract
|
- Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry.
- 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.
- Haskell és un llenguatge de programació funcional estandaritzat de semàntica no estricta que pren el nom del matemàtic Haskell Curry A finals dels anys 198 es va constituir un comitè amb l'objectiu de recollir en un llenguatge les característiques dels múltiples llenguatges funcionals de l'època, Miranda, ML i altres La primera versió va sortir el 199 La versió més estesa actualment és la que correspon a l'informe Haskell 98 A principi de 26 va començar el procés per definir-ne una nova revisió amb el nom de Haskell' ("Haskell prima" Actualment s'ha obert el procés de discussió de les incorporacions a una nova versió de l'estàndard, el Haskell 21
- Haskell je standardizovaný funkcionální programovací jazyk používající líné vyhodnocování, pojmenovaný na počest logika Haskella Curryho. Jazyk se rychle vyvíjí, především díky svým implementacím Hugs a GHC. Haskell je jazyk dodržující referenční transparentnost. To, zjednodušeně řečeno, znamená, že tentýž (pod)výraz má na jakémkoliv místě v programu stejnou hodnotu. Mezi další výhody tohoto jazyka patří přísné typování proměnných, které programátorovi může usnadnit odhalování chyb v programu. Haskell plně podporuje práci se soubory i standardními vstupy a výstupy, která je ale poměrně složitá kvůli zachování referenční transparentnosti. Jako takový se Haskell hodí hlavně pro algoritmicky náročné úlohy minimalizující interakci s uživatelem.
- 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 980 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 (ver más abajo) 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.
- 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 (Glasgow Haskell Compiler) ja Hugs (interaktiivinen tulkki). Joitain kielen tärkeitä ominaispiirteitä ovat hahmonsovitus (engl. pattern matching), funktion osittainen soveltaminen (eli currying), 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. 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ä).
- 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 (MIT) 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 (anciennement Goffin) 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 (Quarks Framework) 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).
- A Haskell tisztán funkcionális, lusta kiértékelésű, polimorf típusokat és magasabb rendű függvényeket tartalmazó programozási nyelv. A nyelv ezzel meglehetősen különbözik a ma általában használatos nyelvektől. A nyelv Haskell Brooks Curry amerikai matematikusról kapta a nevét, aki a matematikai logikában kifejtett munkássága révén hozzájárult a funkcionális nyelvek elméleti alapjainak fejlődéséhez. A Haskell nyelv alapja a lambda-kalkulus. A nyelv tömörségét és kifejezőképességét bemutató rövid példaprogram, a gyorsrendezés megvalósítása: gyorsRendezes = gyorsRendezes = gyorsRendezes kisebbElemek ++ [x] ++ gyorsRendezes nemKisebbElemek where kisebbElemek = [y | y <- xs, y < x] nemKisebbElemek = [y | y <- xs, y >= x] Az (rekurzív) algoritmus a következő: Ha üres a lista, akkor rendezett. Egyébként vesszük az első elemet és sorban összefűzzük a kisebb elemek rendezett listáját, az elemet tartalmazó listát, valamint a nem kisebb elemek rendezett listáját.
- 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).
- Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は論理学者であるハスケル・カリー （Haskell B. Curry）に由来する。
- Haskell is een functionele programmeertaal vernoemd naar de wiskundige Haskell Brooks Curry.
- 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 (również możliwość tworzenia nowych), strażnicy, wbudowana obsługa literate programming. Pliki Haskella mają rozszerzenie . hs Choć semantyka leniwej ewaluacji może być w pewnych zastosowaniach niewygodna (dla niedoświadczonych programistów), podobnie jak brak biblioteki porównywalnej z ocamlowską (warto jednak zwrócić uwagę na dość pokaźną liczbę bibliotek zewnętrznych), 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 (GHC) kompilujący szybki kod maszynowy porównywalny w szybkości wykonania do kodów z GCC (ok. 1.3 x wolniejszy niż C). Jest to jeden z nowszych (od 1998 roku) dynamicznie rozwijanych języków, leniwy kod jest przydatny przy równoległym wykonywaniu programu w wieloprocesorowych systemach. Kilka przykładów: -- Komentarz silnia 1 = 1 silnia n = n*silnia(n-1) silnia' n = product [1.. n] fib 0 = 0 fib 1 = 1 fib n = fib(n-1) + fib(n-2) ack(0,y) = y+1 ack(x,0) = ack(x-1,1) ack(x,y) = ack(x-1,ack) -- przykład użycia strażników sign x | x > 0 = 1 | x == 0 = 0 | x < 0 = -1 myproduct = 1 myproduct = n * myproduct m mysum = 0 mysum = n + mysum m data TreeOfMath = Mult TreeOfMath TreeOfMath | Div TreeOfMath TreeOfMath | Add TreeOfMath TreeOfMath | Sub TreeOfMath TreeOfMath | Leaf Float compute (Mult x y) = compute x * compute y compute (Div x y) = compute x / compute y compute (Add x y) = compute x + compute y compute (Sub x y) = compute x - compute y compute (Leaf x) = x showme (Mult x y) = "(" ++ ++ "*" ++ ++ ")" showme (Div x y) = "(" ++ ++ "/" ++ ++ ")" showme (Add x y) = "(" ++ ++ "+" ++ ++ ")" showme (Sub x y) = "(" ++ ++ "-" ++ ++ ")" showme (Leaf x) = show x qsort = qsort = qsort less ++ x:(qsort more) where less = [ a | a <- xs, a < x ] more = [ a | a <- xs, a >= x ] -- lista liczb pierwszych primes = map head $ iterate (\ ->) [2.. ] -- lista liczb Fibonacciego listFib = 1:1:(zipWith listFib) -- wyrażenia TreeOfMath mają postać: (Sub)
- 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.
- Haskell este un limbaj de programare funcţională. Poartă numele lui Curry Haskell. Nu numai ca este unul dintre limbajele de programare functionala ci este Limbajul de programare functionala propus ca standard al acestui deceniu. Standardul a fost lansat in 98 chiar sub denumirea Haskell 98. La acea data limbajul avea deja in spate circa 10 ani de cercetari. Actualmente are mai mult de 10 ani de folosire a standardului Haskell 98, timp in care s-au mai adaugat si unele extensii atat de raspindite incat au devenit un standard de facto. In ciuda calitatilor sale: limbaj tipizat, limbaj functional, limbaj compilat dar si interpretat, limbaj cu lazy evaluation ..... abia in ultimii ani a inceput sa fie descoperit si folosit in Romania.
- Háskell — функциональный язык программирования. Является одним из самых распространённых ленивых языков программирования. Имеет очень развитую систему типизации, однако система модулей разработана хуже. Последний стандарт языка, ставший стандартом функционального программирования — Haskell-98. Берёт своё начало из языка Miranda, который был разработан Дэвидом Тёрнером в качестве стандартного функционального языка. Назван по имени математика Хаскелла Карри.
- 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, Glasgow 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.
- Haskell, isim babası matematikçi Haskell Curry olan arı işlevsel programlama dilidir. Haskell'i birçok programlama dilinden ayıran özellikleri tembel değerlendirme, monadlar ve tür sınıflarıdır. Örnek Program: print "Hello, world!"
- Haskell (укр. Хаскель або Хаскелл) — стандартизована, винятково функціональна мова програмування з нестрогою семантикою. Названа на честь американського математика Хаскелла Каррі, роботи в галузі математичної логіки якого, є базовими для функціонального програмування. Хаскель основано на Лямбда численні. Найважливішими реалізаціями є Glasgow Haskell Compiler (GHC), та Hugs, інтерпретатор Хаскеля.
- Haskell是一种纯函数式编程语言，它的命名源自美国数学家Haskell Brooks Curry，他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」（Lambda）作为自己的标志。Haskell语言的最重要的两个应用是Glasgow Haskell Compiler (GHC)和Hugs（一个Haskell语言的编译器）。本語言的特式是利用很簡單的敘述就可以完成链表、矩陣等數據結構。
|
| rdfs:comment
|
- Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry.
- 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.
- Haskell je standardizovaný funkcionální programovací jazyk používající líné vyhodnocování, pojmenovaný na počest logika Haskella Curryho. Jazyk se rychle vyvíjí, především díky svým implementacím Hugs a GHC. Haskell je jazyk dodržující referenční transparentnost. To, zjednodušeně řečeno, znamená, že tentýž (pod)výraz má na jakémkoliv místě v programu stejnou hodnotu.
- 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 980 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.
- 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 (Glasgow Haskell Compiler) ja Hugs (interaktiivinen tulkki).
- 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.
- A Haskell tisztán funkcionális, lusta kiértékelésű, polimorf típusokat és magasabb rendű függvényeket tartalmazó programozási nyelv. A nyelv ezzel meglehetősen különbözik a ma általában használatos nyelvektől. A nyelv Haskell Brooks Curry amerikai matematikusról kapta a nevét, aki a matematikai logikában kifejtett munkássága révén hozzájárult a funkcionális nyelvek elméleti alapjainak fejlődéséhez. A Haskell nyelv alapja a lambda-kalkulus.
- 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.
- Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は論理学者であるハスケル・カリー （Haskell B. Curry）に由来する。
- Haskell is een functionele programmeertaal vernoemd naar de wiskundige Haskell Brooks Curry.
- 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 (również możliwość tworzenia nowych), strażnicy, wbudowana obsługa literate programming. Pliki Haskella mają rozszerzenie .
- 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.
- Haskell este un limbaj de programare funcţională. Poartă numele lui Curry Haskell. Nu numai ca este unul dintre limbajele de programare functionala ci este Limbajul de programare functionala propus ca standard al acestui deceniu. Standardul a fost lansat in 98 chiar sub denumirea Haskell 98. La acea data limbajul avea deja in spate circa 10 ani de cercetari.
- Háskell — функциональный язык программирования. Является одним из самых распространённых ленивых языков программирования. Имеет очень развитую систему типизации, однако система модулей разработана хуже.
- 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.
- Haskell, isim babası matematikçi Haskell Curry olan arı işlevsel programlama dilidir. Haskell'i birçok programlama dilinden ayıran özellikleri tembel değerlendirme, monadlar ve tür sınıflarıdır. Örnek Program: print "Hello, world!"
- Haskell (укр. Хаскель або Хаскелл) — стандартизована, винятково функціональна мова програмування з нестрогою семантикою. Названа на честь американського математика Хаскелла Каррі, роботи в галузі математичної логіки якого, є базовими для функціонального програмування.
|
![[RDF Data]](/statics/sw-cube.png)
