Haskell (original) (raw)
هاسكل هي لغة برمجة مطابقة للمعايير، للأغراض العامة، وهي لغة وظيفية إلى حد كبير، دون دلالات ألفاظ ملزمة وبكتابة ثابتة وقوية. وقد سُميت بـ هاسكل علي اسم عالم المنطق «هاسكل كوري». وفي اللغة هاسكل، «تمثل الوظيفة مواطن من الدرجة الأولى» من لغة البرمجة. ولكونها لغة برمجة وظيفية فإن بنية التحكم الرئيسية هي الوظيفة. وترجع أصول اللغة إلى ملاحظات هاسكل كوري وأتباعه من المفكرين، بأن «الإثبات هو برنامج؛ والمعادلة التي يثبتها هي نوع للبرنامج».
| Property | Value | |||||
|---|---|---|---|---|---|---|
| dbo:abstract | هاسكل هي لغة برمجة مطابقة للمعايير، للأغراض العامة، وهي لغة وظيفية إلى حد كبير، دون دلالات ألفاظ ملزمة وبكتابة ثابتة وقوية. وقد سُميت بـ هاسكل علي اسم عالم المنطق «هاسكل كوري». وفي اللغة هاسكل، «تمثل الوظيفة مواطن من الدرجة الأولى» من لغة البرمجة. ولكونها لغة برمجة وظيفية فإن بنية التحكم الرئيسية هي الوظيفة. وترجع أصول اللغة إلى ملاحظات هاسكل كوري وأتباعه من المفكرين، بأن «الإثبات هو برنامج؛ والمعادلة التي يثبتها هي نوع للبرنامج». (ar) 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ší vlastnosti 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. (cs) Haskell és un llenguatge de programació funcional estandarditzat de i avaluació tardana de les expressions (ang: lazy evaluation) en el moment que se'n demana el valor i pren el nom del matemàtic Haskell Curry. Es diu que és un llenguatge funcional pur. El cert és que admet però permet encapsular-ne els canvis (context ST), o bé circumscriure'n els al nivell superficial (context IO). Haskell basa el polimorfisme en el requeriment d'implementació d'interfícies pels tipus dels paràmetres. Les interfícies amb un paràmetre de tipus t defineixen una partició de l'espai dels tipus en classes segons si les implementen o no, i per això s'anomenen classes de tipus. -- classe de tipus (la interfície)class Eq t where (==) :: t -> t -> Bool -- iguals (/=) :: t -> t -> Bool -- desiguals -- implementació per defecte x == y = not (x /= y) x /= y = not (x == y) -- caldrà especificar només una de les operacions en definir la implementaciódata Bool = False | True -- definició del tipus Bool-- instància (la implementació) de la classe Eq per al tipus Boolinstance Eq Bool where (==) False False = True (==) True True = True (==) _ _ = False-- definició del tipus (Llista a) = Nil | Cons a (Llista a)-- els símbols '[' i ']' designen una llistadata [a] = [] -- el constructor Nil es denota amb "[]" | a : [a] -- el constructor Cons es denota amb ':' en posició infix-- * per sintaxi, si un símbol comença per ':', va infix-- * tot identificador de funció es pot posar en infix si s'envolta de cometes revesses-- exemple d'ús: "Eq t =>" es llegeix: per aquells tipus t tals que (Eq t)ésMembre :: Eq t => t -> [t] -> Bool -- ésMembre x [] = False ésMembre x (cap : cua) = x == cap | x `ésMembre` cua -- notació infix amb cometes revesses * les classes de tipus són com un mòdul genèric, amb el tipus com a paràmetre o índex, que defineix la signatura de les operacions on intervé el tipus indexat. Derivació automàtica d'instàncies (implementacions d'interfícies): També podem demanar al compilador que, per a classes de tipus bàsiques, derivi una instància partint de la representació interna del tipus (clàusula deriving en la definició de tipus estructurals (clàusula data). data Color = Verd | Blau | |
| dbo:designer | dbr:Paul_Hudak dbr:Erik_Meijer_(computer_scientist) dbr:Simon_Peyton_Jones dbr:John_Hughes_(computer_scientist) dbr:John_Launchbury dbr:Lennart_Augustsson dbr:Philip_Wadler | |||||
| dbo:influenced | dbr:PureScript dbr:Python_(programming_language) dbr:Scala_(programming_language) dbr:Visual_Basic_.NET dbr:Ωmega dbr:Concepts_(C++) dbr:Rust_(programming_language) dbr:Escher_(programming_language) dbr:Generics_in_Java dbr:Clean_(programming_language) dbr:Clojure dbr:CoffeeScript dbr:Elm_(programming_language) dbr:Epigram_(programming_language) dbr:LiveScript_(programming_language) dbr:C++11 dbr:C_Sharp_(programming_language) dbr:Cayenne_(programming_language) dbr:Hack_(programming_language) dbr:Language_Integrated_Query dbr:Agda_(programming_language) dbr:Curry_(programming_language) dbr:F_Sharp_(programming_language) dbr:Bluespec,_Inc. dbr:Java_(programming_language) dbr:Swift_(programming_language) dbr:Idris_(programming_language) dbr:Mercury_(programming_language) dbr:Raku_(programming_language) dbr:Isabelle_theorem_prover | |||||
| dbo:influencedBy | dbr:Scheme_(programming_language) dbr:SISAL dbr:Orwell_(programming_language) dbr:Clean_(programming_language) dbr:Miranda_(programming_language) dbr:Lisp_(programming_language) dbr:ML_(programming_language) dbr:Standard_ML dbr:Hope_(programming_language) dbr:Id_(programming_language) dbr:Gofer_(programming_language) dbr:Kent_Recursive_Calculator dbr:ISWIM dbr:SASL_(programming_language) dbr:FP_(programming_language) | |||||
| dbo:latestReleaseVersion | Haskell 2010 | |||||
| dbo:thumbnail | wiki-commons:Special:FilePath/Logo_of_the_Haskell_programming_language.svg?width=300 | |||||
| dbo:wikiPageExternalLink | http://hal3.name/docs/daume02yaht.pdf http://www.haskellcraft.com/ https://discu.eu/weekly/haskell/ https://thinkingwithtypes.com/ http://www.cs.yale.edu/homes/hudak/SOE/ http://www.cs.ox.ac.uk/publications/books/functional/ http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf https://wiki.haskell.org/ http://www.computerworld.com.au/article/261007/a-z_programming_languages_haskell/ http://www.cs.nott.ac.uk/~gmh/book.html http://learnyouahaskell.com/chapters https://learnyouahaskell.github.io https://www.haskell.org http://research.microsoft.com/~simonpj/papers/history-of-haskell/history.pdf https://archive.org/details/learnyouhaskellf00lipo_0%7Cdate=April http://haskell.org/onlinereport/%7C http://haskell.org/tutorial/%7Ctitle=A https://www.haskell.org/definition/haskell2010.pdf%7C http://book.realworldhaskell.org/read/ | |||||
| dbo:wikiPageID | 27404990 (xsd:integer) | |||||
| dbo:wikiPageLength | 47330 (xsd:nonNegativeInteger) | |||||
| dbo:wikiPageRevisionID | 1122708345 (xsd:integer) | |||||
| dbo:wikiPageWikiLink | dbr:Cabal_(software) dbr:Cardano_(blockchain_platform) dbr:PureScript dbr:Python_(programming_language) dbr:Quick_sort dbr:Scala_(programming_language) dbr:Scheme_(programming_language) dbr:Parsing dbr:Dependent_type dbc:Articles_with_example_Haskell_code dbr:Hugs_(interpreter) dbr:Paul_Hudak dbr:University_of_St_Andrews dbr:Utrecht_University dbr:Visual_Basic_.NET dbr:Ωmega dbr:Input/output dbr:International_Conference_on_Functional_Programming dbr:Interpreter_(computing) dbr:Proprietary_software dbr:Open_source_license dbr:"Hello,_World!"_program dbc:Functional_languages dbr:Compiler dbr:Computerworld dbr:Concepts_(C++) dbr:Cross-platform dbr:Cryptography dbr:Rust_(programming_language) dbr:SISAL dbr:Escher_(programming_language) dbr:General-purpose_programming_language dbr:Generalized_algebraic_data_type dbr:Generic_programming dbr:Generics_in_Java dbr:Order_of_operations dbr:Orthogonal dbr:Orwell_(programming_language) dbr:Clean_(programming_language) dbr:Clojure dbr:CoffeeScript dbr:Elm_(programming_language) dbr:Epigram_(programming_language) dbr:Git dbr:Git-annex dbr:GitHub dbr:Glasgow_Haskell_Compiler dbr:Google_search dbr:Miranda_(programming_language) dbr:Monad_(functional_programming) dbr:Concurrency_(computer_science) dbr:Cryptol dbr:Erik_Meijer_(computer_scientist) dbr:Yhc dbr:Anonymous_function dbr:Linspire dbr:Lisp_(programming_language) dbr:LiveScript_(programming_language) dbr:Logic dbr:ML_(programming_language) dbr:Simon_Peyton_Jones dbr:Snap_(web_framework) dbr:Stack_(Haskell) dbr:Standard_Chartered dbr:Standard_ML dbr:Static_typing dbr:Embedded_system dbr:Hope_(programming_language) dbr:Id_(programming_language) dbr:John_Hughes_(computer_scientist) dbr:John_Launchbury dbr:Operator_overloading dbr:Parallel_computing dbr:Polymorphism_(computer_science) dbr:Open_standard dbr:Strict_function dbr:Syntax_(programming_languages) dbr:Microkernel dbc:Educational_programming_languages dbr:C++11 dbr:C_(programming_language) dbr:C_Sharp_(programming_language) dbr:Cayenne_(programming_language) dbc:Haskell_programming_language_family dbr:TidalCycles dbr:Type_signature dbr:Web_browser dbr:Web_framework dbr:Hack_(programming_language) dbr:Haskell_Symposium dbr:Language_Integrated_Query dbr:Lazy_ML dbr:Lazy_evaluation dbr:List_comprehension dbr:Haskell_platform dbr:Agda_(programming_language) dbr:Curry_(programming_language) dbr:Darcs dbr:F_Sharp_(programming_language) dbr:Facebook dbr:Nix_package_manager dbr:Pandoc dbr:Bluespec,_Inc. dbr:Directive_(programming) dbr:Foreign_function_interface dbr:Formal_methods dbr:Gofer_(programming_language) dbr:Kent_Recursive_Calculator dbr:Kind_(type_theory) dbr:Lennart_Augustsson dbr:Machine_code dbr:Type_class dbr:Pugs_(programming) dbr:Pure_function dbr:Purely_functional_programming dbr:Haskell_Curry dbr:Attribute_grammar dbr:JavaScript dbr:Java_(programming_language) dbr:Target_Corporation dbr:Hume_(programming_language) dbr:Helium_(Haskell) dbr:Pattern_guard dbr:ANSI_C dbc:Academic_programming_languages dbc:Pattern_matching_programming_languages dbc:Programming_languages_created_in_1990 dbc:Statically_typed_programming_languages dbr:LLVM dbr:Swift_(programming_language) dbr:Syntactic_sugar dbr:Java_virtual_machine dbr:Arbitrary-precision dbr:Build_automation dbr:Bytecode dbr:C-- dbc:Literate_programming dbr:Philip_Wadler dbr:Portland,_Oregon dbr:ISWIM dbr:Idris_(programming_language) dbr:Intermediate_language dbr:Mercury_(programming_language) dbr:Open-source_software dbr:OpenGL dbr:Raku_(programming_language) dbr:SeL4 dbr:X_Window_System dbr:Xmonad dbr:Yesod_(web_framework) dbr:Pattern_matching dbr:Robert_Harper_(computer_scientist) dbr:SASL_(programming_language) dbr:Software_transactional_memory dbr:Type_safety dbr:Semantics_(computer_science) dbr:Side_effect_(computer_science) dbr:Window_manager dbr:Type_inference dbr:FP_(programming_language) dbr:Factorial dbr:Programming_language dbr:Evaluation_strategy dbr:Library_(computer_science) dbr:Isabelle_theorem_prover dbr:Nondeterministic_algorithm dbr:The_Computer_Language_Benchmarks_Game dbr:Strong_typing dbr:Uniqueness_type dbr:Agda_(theorem_prover) dbr:Strongly_typed_programming_language dbr:Static_type dbr:Functional_Programming_Languages_and_Computer_Architecture dbr:Functional_languages dbr:Lexical_syntax dbr:Gofer_(software) dbr:Revision_control_system dbr:Purely_functional_language dbr:Commercial_Users_of_Functional_Programming dbr:Hindley–Milner_type_inference dbr:Type_classes dbr:Type_polymorphism dbr:File:Base-classes.svg dbr:IHP_(web_framework) dbr:Semantic_(software) dbr:Servant_(web_framework) | |||||
| dbp:date | June 2021 (en) | |||||
| dbp:designer | Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Joseph Fasel, Kevin Hammond, Ralf Hinze, Paul Hudak, John Hughes, Thomas Johnsson, Mark Jones, Simon Peyton Jones, John Launchbury, Erik Meijer, John Peterson, Alastair Reid, Colin Runciman, Philip Wadler (en) | |||||
| dbp:dialects | dbr:Gofer_(software) | |||||
| dbp:fileExt | .hs, .lhs (en) | |||||
| dbp:implementations | GHC, Hugs, NHC, JHC, Yhc, UHC (en) | |||||
| dbp:influenced | Agda, Bluespec, C++11/Concepts, C#/LINQ, CAL, Cayenne, Clean, Clojure, CoffeeScript, Curry, Elm, Epigram, Escher, F#, Hack, Idris, Isabelle, Java/Generics, LiveScript, Mercury, Ωmega, PureScript, Python, Raku, Rust, Scala, Swift, Visual Basic 9.0 (en) | |||||
| dbp:influencedBy | Clean, FP, Gofer, Hope and Hope+, Id, ISWIM, KRC, Lisp, Miranda, ML and Standard ML, Orwell, SASL, Scheme, SISAL (en) | |||||
| dbp:latestReleaseVersion | Haskell 2010 (en) | |||||
| dbp:latestTestVersion | Haskell 2020 announced (en) | |||||
| dbp:logo | Logo_of_the_Haskell_programming_language.svg (en) | |||||
| dbp:logoAlt | Logo of Haskell (en) | |||||
| dbp:logoSize | 250 (xsd:integer) | |||||
| dbp:name | Haskell (en) | |||||
| dbp:operatingSystem | dbr:Cross-platform | |||||
| dbp:paradigm | dbr:Purely_functional_programming | |||||
| dbp:reason | What does "and more" mean? (en) | |||||
| dbp:typing | dbr:Static_typing dbr:Type_inference dbr:Strong_typing | |||||
| dbp:website | https://www.haskell.org | |||||
| dbp:wikiPageUsesTemplate | dbt:As_of dbt:Authority_control dbt:Citation_needed dbt:Cite_book dbt:Cite_journal dbt:Cite_web dbt:Clarify dbt:IPAc-en dbt:Infobox_programming_language dbt:Main dbt:Official_website dbt:Other_uses dbt:Portal_bar dbt:Reflist dbt:Rp dbt:See_also dbt:Sfn dbt:Short_description dbt:Start_date_and_age dbt:Use_dmy_dates dbt:Wikibooks dbt:Programming_languages | |||||
| dcterms:subject | dbc:Articles_with_example_Haskell_code dbc:Functional_languages dbc:Educational_programming_languages dbc:Haskell_programming_language_family dbc:Academic_programming_languages dbc:Pattern_matching_programming_languages dbc:Programming_languages_created_in_1990 dbc:Statically_typed_programming_languages dbc:Literate_programming | |||||
| rdf:type | owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 yago:WikicatCitiesInOklahoma yago:WikicatTownsInOklahoma yago:AdministrativeDistrict108491826 yago:City108524735 yago:District108552138 yago:GeographicalArea108574314 yago:Location100027167 yago:Municipality108626283 yago:Object100002684 yago:PhysicalEntity100001930 yago:Region108630985 yago:YagoGeoEntity yago:YagoLegalActorGeo yago:YagoPermanentlyLocatedEntity dbo:ProgrammingLanguage yago:Town108665504 yago:UrbanArea108675967 | |||||
| rdfs:comment | هاسكل هي لغة برمجة مطابقة للمعايير، للأغراض العامة، وهي لغة وظيفية إلى حد كبير، دون دلالات ألفاظ ملزمة وبكتابة ثابتة وقوية. وقد سُميت بـ هاسكل علي اسم عالم المنطق «هاسكل كوري». وفي اللغة هاسكل، «تمثل الوظيفة مواطن من الدرجة الأولى» من لغة البرمجة. ولكونها لغة برمجة وظيفية فإن بنية التحكم الرئيسية هي الوظيفة. وترجع أصول اللغة إلى ملاحظات هاسكل كوري وأتباعه من المفكرين، بأن «الإثبات هو برنامج؛ والمعادلة التي يثبتها هي نوع للبرنامج». (ar) 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ší vlastnosti 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. (cs) 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 wichtigste Implementierung ist der Glasgow Haskell Compiler (GHC). (de) Η Haskell είναι μια πρότυπη αμιγώς συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης με μη-αυστηρή σημασιολογία και ισχυρούς τύπους. Πήρε το όνομά της από τον επιστήμονα της λογικής Haskell Curry. Στη Haskell, "μια συνάρτηση είναι μέλος πρώτης τάξης" της γλώσσας προγραμματισμού. Ως συναρτησιακή γλώσσα προγραμματισμού, χρησιμοποιεί σαν κύρια δομή ελέγχου τη συνάρτηση. Η γλώσσα βασίζεται στις παρατηρήσεις του Haskell Curry (1934, 1958) και των πνευματικών του απογόνων, ότι "μια απόδειξη είναι ένα πρόγραμμα και ο μαθηματικός τύπος που αποδεικνύει είναι ο τύπος του προγράμματος". (el) Haskell (aŭ Esperante Haskelo) estas komputillingvo kreita de , , kaj en 1987. Pli specife, ĝi estas , nestrikta, pure funkcia lingvo. La lingvo estas nomita por , kies esploro pri matematika logiko estas la fundamento de funkciaj lingvoj. Haskell baziĝas de la lambdokalkulo. (eo) Haskell normalizatuta dagoen programazio lengoaia funtzionala da, semantika ulerkorra eta idazketa zorrotza duena. Haskell Curry logikariaren omenez du izena. Kaleratutako azken estandarra Haskell 2010 da, eta 2016ko maiatzetik, hurrengo bertsioa garatzen dabiltza, Haskell 2020 izena hartuko duena. Haskell lengoaiaren semantikan oinarritzen da, baina ez bere sintaxian. Akademia munduan eta industrian erabili ohi da Haskell lengoaia. (eu) Haskell adalah bahasa pemrograman fungsional murni. Nama bahasa pemrograman Haskell diambil dari nama seseorang matematikawan , yang terkenal akan karyanya di bidang combinatory logic. Haskell hanya mengenal expression dan equation. (in) Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire. Son nom vient du mathématicien et logicien Haskell Curry. Il a été créé en 1990 par un comité de chercheurs en théorie des langages intéressés par les langages fonctionnels et l'évaluation paresseuse. Le dernier standard est Haskell 2010 : c'est une version minimale et portable du langage conçue à des fins pédagogiques et pratiques, dans un souci d'interopérabilité entre les implémentations du langage et comme base de futures extensions. Le langage continue d'évoluer en 2020, principalement avec GHC, constituant ainsi un standard de facto comprenant de nombreuses extensions. (fr) Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。 (ja) ( 해스켈은 여기로 연결됩니다. 다른 뜻에 대해서는 해스켈 (동음이의) 문서를 참고하십시오.) 하스켈 또는 해스켈(영어: Haskell IPA: [ˈhæskəl])은 순수 함수형 프로그래밍 언어이다. 교육계와 산업계 모두를 위해 설계된 하스켈은 , IO와 같은 여러 프로그래밍 언어의 기능을 개척하였다. 하스켈의 주된 구현체는 GHC(Glasgow Haskell Compiler)이다. (ko) Haskell is een functionele programmeertaal vernoemd naar de wiskundige Haskell Brooks Curry. (nl) Haskell è un linguaggio di programmazione puramente funzionale general-purpose creato da un apposito comitato alla fine degli anni ottanta principalmente per analizzare le caratteristiche dei linguaggi. È stato chiamato così in onore del matematico e logico statunitense Haskell Curry. (it) Haskell – czysto funkcyjny język programowania nazwany na cześć amerykańskiego matematyka, Haskella Curry’ego. (pl) Haskell (укр. Гаскель, Гаскелл) — стандартизована, винятково функційна мова програмування з нестрогою семантикою. Названа на честь американського математика Гаскелла Каррі, роботи якого в галузі математичної логіки є базовими для функційного програмування. Гаскель базується на лямбда численні. Найважливішими реалізаціями є компілятор Glasgow Haskell Compiler (GHC) та оснований на ньому компілятор GHCJS, що компілює Гаскель-код у скрипт мовою JavaScript. Історично важливим також є інтерпретатор Hugs, але на сьогодні він не підтримується. (uk) Haskell（发音为/ˈhæskəl/）是一种标准化的，通用的纯函數式編程語言，有惰性求值和强静态类型。它的命名源自美国逻辑学家哈斯凱爾·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是頭等物件”。作为一门函數程式語言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」（Lambda）作为自己的标志。Haskell具有“证明即程序、命题为类型”的特征。 (zh) Haskell és un llenguatge de programació funcional estandarditzat de i avaluació tardana de les expressions (ang: lazy evaluation) en el moment que se'n demana el valor i pren el nom del matemàtic Haskell Curry. Es diu que és un llenguatge funcional pur. El cert és que admet però permet encapsular-ne els canvis (context ST), o bé circumscriure'n els al nivell superficial (context IO). data Color = Verd | Blau | Lila deriving (Eq, Show) -- el compilador deriva instàncies de les classes esmentades, obtenint la posició i el nom dels valors La fa possible incorporar-los a diferents estructures: (ca) Haskell (/ˈhæskəl/) is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research and industrial applications, Haskell has pioneered a number of programming language features such as type classes, which enable type-safe operator overloading, and monadic IO. Haskell's main implementation is the Glasgow Haskell Compiler (GHC). It is named after logician Haskell Curry. (en) Haskell (pronunciado /hæskəl/) es un lenguaje de programación estandarizado multi-propósito, funcionalmente puro, con evaluación no estricta y memorizada, y fuerte tipificación estática. Su nombre se debe al lógico estadounidense Haskell Curry, debido a su aporte al cálculo lambda, el cual tiene gran influencia en el lenguaje. En Haskell, "una función es un ciudadano de primera clase" del lenguaje de programación. Como lenguaje de programación funcional, el constructor de controles primario es la función. El lenguaje tiene sus orígenes en las observaciones de Haskell Curry y sus descendientes intelectuales. (es) Haskell é uma linguagem de programação puramente funcional, de propósito geral, nomeada em homenagem ao lógico Haskell Curry. Como uma linguagem funcional, a estrutura de controle primária é a função; a linguagem é baseada nas observações de Haskell Curry e seus descendentes intelectuais. 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) Haskell (МФА: [hæskəl]) — стандартизированный чистый функциональный язык программирования общего назначения. Является одним из самых распространённых языков программирования с поддержкой отложенных вычислений. Система типов — полная, сильная, статическая, с автоматическим выводом типов, основанная на системе типов Хиндли — Милнера. Поскольку язык функциональный, то основная управляющая структура — это функция. Отличительная черта языка — серьёзное отношение к типизации; во многом в связи с этим язык назван в честь исследователя теории типов и изобретателя комбинаторной логики Хаскелла Карри. (ru) Haskell är ett funktionellt programspråk. Utvecklingen av språket, som fick sitt namn efter den amerikanska 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 rekursion, 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. (sv) | ||||
| rdfs:label | Haskell (en) هاسكل (لغة برمجة) (ar) Haskell (ca) Haskell (programovací jazyk) (cs) Haskell (Programmiersprache) (de) Haskell (el) Haskell (komputillingvo) (eo) Haskell (es) Haskell (programazio lengoaia) (eu) Haskell (fr) Haskell (in) Haskell (linguaggio) (it) 하스켈 (ko) Haskell (ja) Haskell (programmeertaal) (nl) Haskell (pl) Haskell (linguagem de programação) (pt) Haskell (ru) Haskell (programspråk) (sv) Haskell (uk) Haskell (zh) | |||||
| rdfs:seeAlso | dbr:Glasgow_Haskell_Compiler dbr:Haskell_features | |||||
| owl:sameAs | http://d-nb.info/gnd/4318275-6 wikidata:Haskell dbpedia-ar:Haskell dbpedia-az:Haskell dbpedia-bg:Haskell http://bn.dbpedia.org/resource/হ্যাসকেল dbpedia-ca:Haskell dbpedia-cs:Haskell dbpedia-da:Haskell dbpedia-de:Haskell dbpedia-el:Haskell dbpedia-eo:Haskell dbpedia-es:Haskell dbpedia-et:Haskell dbpedia-eu:Haskell dbpedia-fa:Haskell dbpedia-fi:Haskell dbpedia-fr:Haskell dbpedia-gl:Haskell dbpedia-he:Haskell http://hi.dbpedia.org/resource/हैस्कल dbpedia-hr:Haskell dbpedia-hu:Haskell dbpedia-id:Haskell dbpedia-is:Haskell dbpedia-it:Haskell dbpedia-ja:Haskell dbpedia-kk:Haskell dbpedia-ko:Haskell dbpedia-la:Haskell dbpedia-lb:Haskell http://lv.dbpedia.org/resource/Haskell http://ml.dbpedia.org/resource/ഹാസ്കൽ_(പ്രോഗ്രാമിങ്_ഭാഷ) dbpedia-mr:Haskell dbpedia-ms:Haskell dbpedia-nl:Haskell dbpedia-no:Haskell http://pa.dbpedia.org/resource/ਹੈਸਕਲ_(ਪ੍ਰੋਗਰਾਮਿੰਗ_ਭਾਸ਼ਾ) dbpedia-pl:Haskell dbpedia-pt:Haskell dbpedia-ro:Haskell dbpedia-ru:Haskell dbpedia-simple:Haskell dbpedia-sk:Haskell dbpedia-sl:Haskell dbpedia-sr:Haskell dbpedia-sv:Haskell http://tg.dbpedia.org/resource/Haskell dbpedia-th:Haskell dbpedia-tr:Haskell dbpedia-uk:Haskell dbpedia-vi:Haskell dbpedia-zh:Haskell https://global.dbpedia.org/id/38LHM | |||||
| prov:wasDerivedFrom | wikipedia-en:Haskell?oldid=1122708345&ns=0 | |||||
| foaf:depiction | wiki-commons:Special:FilePath/Base-classes.svg wiki-commons:Special:FilePath/Logo_of_the_Haskell_programming_language.svg | |||||
| foaf:homepage | https://www.haskell.org | |||||
| foaf:isPrimaryTopicOf | wikipedia-en:Haskell | |||||
| foaf:name | Haskell (en) | |||||
| foaf:page | https://www.haskell.org | |||||
| is dbo:influencedBy of | dbr:C_Sharp_(programming_language) dbr:Lean_(proof_assistant) | |||||
| is dbo:wikiPageDisambiguates of | dbr:Haskell_(disambiguation) | |||||
| is dbo:wikiPageRedirects of | dbr:.hs dbr:Hackage dbr:Haskell_programming_language dbr:Haskell.org dbr:Haskell_(programming_language) dbr:HackageDB dbr:Haskel dbr:Haskell' dbr:Haskell-prime dbr:Haskell_(language) dbr:Haskell_2010 dbr:Haskell_98 dbr:Haskell_98_programming_language dbr:Haskell_Prime dbr:Haskell_language dbr:Haskell_programming dbr:Haskell_programminglanguage dbr:Haskil dbr:Haskill dbr:Criticism_of_Haskell dbr:Eager_Haskell dbr:O'Haskell dbr:Homotopy_Haskell | |||||
| is dbo:wikiPageWikiLink of | dbr:Boxing_(computer_science) dbr:Deterministic_algorithm dbr:.hs dbr:Rust_(programming_language) dbr:Parametric_polymorphism dbr:C_Sharp_(programming_language) dbr:Timeline_of_programming_languages dbr:Hackage dbr:Haskell_programming_language dbr:Haskell_(disambiguation) dbr:Haskell.org dbr:Haskell_(programming_language) dbr:Lean_(proof_assistant) dbr:Bootstrapping_(compilers) dbr:UHC dbr:HackageDB dbr:Haskel dbr:Haskell' dbr:Haskell-prime dbr:Haskell_(language) dbr:Haskell_2010 dbr:Haskell_98 dbr:Haskell_98_programming_language dbr:Haskell_Prime dbr:Haskell_language dbr:Haskell_programming dbr:Haskell_programminglanguage dbr:Haskil dbr:Haskill dbr:Criticism_of_Haskell dbr:Eager_Haskell dbr:O'Haskell dbr:Homotopy_Haskell | |||||
| is dbp:influencedBy of | dbr:Lean_(proof_assistant) | |||||
| is gold:hypernym of | dbr:Haskell_Invitational_Trophy | |||||
| is owl:differentFrom of | dbr:Haskell_County,_Oklahoma | |||||
| is foaf:primaryTopic of | wikipedia-en:Haskell |
