@prefix dbpprop: .
dbpprop:name "ML"@en .
@prefix owl: .
owl:sameAs ,
.
@prefix foaf: .
foaf:page ;
dbpprop:reference ,
,
,
,
.
@prefix rdfs: .
rdfs:label "ML\u8BED\u8A00"@zh ,
"ML (\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E)"@ja ,
"ML (programspr\u00E5k)"@sv ,
"ML (langage)"@fr ,
"ML (linguagem de programa\u00E7\u00E3o)"@pt ,
"Meta Language"@pl ,
"ML programming language"@it ,
"ML"@ca ,
"Meta Lenguaje"@es ,
"ML (programming language)"@en ,
"ML"@tr ,
"ML (Programmiersprache)"@de ,
"ML (programmeertaal)"@nl ,
"ML"@ru ;
dbpprop:abstract "ML is een functionele programmeertaal, ontwikkeld door Robin Milner en anderen aan de Universiteit van Edinburgh. ML was oorspronkelijk een afkorting voor Meta Language. Het was bedoeld als de metataal van het redeneerprogramma LCF. ML is, in tegenstelling tot Clean en Haskell, een \"onzuivere\" functionele taal, in de zin dat ook imperatief programmeren mogelijk is in ML (net zoals in Lisp). De twee meest gebruikte ML-dialecten zijn tegenwoordig Standard ML en OCaml (Objective Caml). De laatste staat bekend als \u00E9\u00E9n van de meest effici\u00EBnt ge\u00EFmplementeerde programmeertalen ter wereld, en kan zich meten met C en C++. F# (uitspraak F sharp) van Microsoft is een van OCaml afgeleid ML-dialect. F# is een . NET-taal, wat wil zeggen dat in F# gemakkelijk het . NET-framework kan worden aangesproken. Ook kunnen met F# gemaakte programmaonderdelen aangesproken worden vanuit bijvoorbeeld C# en andersom. Microsoft Visual Studio ondersteunt ook het programmeren met F#. F# is momenteel (maart 2006) in een research-fase. De Universiteit van Saarland in Saarbr\u00FCcken ontwikkelt momenteel een ML-dialect genaamd Alice, waarin onder andere parallel rekenen (op meerdere processors of machines tegelijk) en constraint programming mogelijk zijn."@nl ,
"Meta Language (ML) beschreibt eine Familie funktionaler Programmiersprachen mit statischer Typisierung, Polymorphie, automatischer Speicherbereinigung und im Allgemeinen strenger Auswertung. ML ist allerdings keine rein funktionale Sprache wie Haskell, sondern erlaubt an manchen Stellen auch imperative Konstrukte und Wirkungen, beispielsweise f\u00FCr File I/O. ML wurde 1973 von Robin Milner an der Universit\u00E4t Edinburgh als Teil eines Theorem-Beweis-Programms LCF (Logic of Computable Functions) entwickelt, welches automatisiert die Korrektheit von Programmen beweisen sollte. Seither hat sich ML zu einer vollst\u00E4ndigen und eigenst\u00E4ndigen Programmiersprache entwickelt, die insbesondere im wissenschaftlichen Umfeld verwendet wird. Die Sprache wird an vielen Universit\u00E4ten als prim\u00E4re Programmiersprache gelehrt."@de ,
"ML \u00E9 uma linguagem de programa\u00E7\u00E3o funcional de proposta geral desenvolvida por Robin Milner e outros no final dos anos 1970 na Universidade de Edimburgo, cuja sintaxe foi inspirada pelo ISWIM. \u00C9 considerada uma linguagem funcional impura, por permitir a programa\u00E7\u00E3o imperativa, ao contr\u00E1rio de outras linguagens funcionais como Haskell."@pt ,
"ML es un lenguaje de programaci\u00F3n de prop\u00F3sito general de la familia de los lenguajes de programaci\u00F3n funcional desarrollado por Robin Milner y otros a finales de los a\u00F1os 1970 en la Universidad de Edimburgo. ML es un acr\u00F3nimo de Meta Lenguaje dado que fue concebido como el lenguaje para desarrollar t\u00E1cticas de demostraci\u00F3n en el sistema LCF (El lenguaje para el cual ML era meta lenguaje es pplambda, una combinaci\u00F3n del c\u00E1lculo de predicados de primer orden y el lambda-c\u00E1lculo polim\u00F3rfico sencillamente tipificado). Frecuentemente se clasifica a ML como un lenguaje funcional impuro dado que permite programar imperativamente con efectos de borde, a diferencia de otros lenguajes de programaci\u00F3n funcional, tales como Haskell. Entre las caracter\u00EDsticas de ML se incluyen evaluaci\u00F3n por valor, \u00E1lgebra de funciones, manejo automatizado de memoria por medio de recolecci\u00F3n de basura, polimorfismo parametrizado, an\u00E1lisis de est\u00E1tico de tipos, inferencia de tipos, tipos de datos algebraicos, llamada por patrones y manejo de excepciones. Esta combinaci\u00F3n particular de conceptos hace que sea posible producir una de los mejores compiladores actualmente disponibles. En la actualidad varios lenguajes de la familia ML est\u00E1n disponibles, principalmente Standard ML (SML) y Ocaml (Ocaml contiene la sintaxis de ML como un subconjunto). Varias ideas aparecidas en ML han influido el dise\u00F1o de otros lenguajes, tales como Cyclone y Nemerle. Los lenguajes de la familia ML se aplica principalmente en dise\u00F1o y manipulaci\u00F3n de lenguajes de programaci\u00F3n (compiladores, analizadores, demostradores de teoremas), as\u00ED como en bioinform\u00E1tica, sistemas financieros, protocolos de sincronizaci\u00F3n, etc."@es ,
"ML (Meta Language)\u00A0\u2014 \u0441\u0435\u043C\u0435\u0439\u0441\u0442\u0432\u043E \u0441\u0442\u0440\u043E\u0433\u0438\u0445 \u044F\u0437\u044B\u043A\u043E\u0432 \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u0441 \u0440\u0430\u0437\u0432\u0438\u0442\u043E\u0439 \u043F\u043E\u043B\u0438\u043C\u043E\u0440\u0444\u043D\u043E\u0439 \u0441\u0438\u0441\u0442\u0435\u043C\u043E\u0439 \u0442\u0438\u043F\u043E\u0432 \u0438 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u0438\u0437\u0443\u0435\u043C\u044B\u043C\u0438 \u043C\u043E\u0434\u0443\u043B\u044F\u043C\u0438. ML \u043F\u0440\u0435\u043F\u043E\u0434\u0430\u0451\u0442\u0441\u044F \u0432\u043E \u043C\u043D\u043E\u0433\u0438\u0445 \u0437\u0430\u043F\u0430\u0434\u043D\u044B\u0445 \u0443\u043D\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430\u0445 (\u0432 \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u0434\u0430\u0436\u0435 \u043A\u0430\u043A \u043F\u0435\u0440\u0432\u044B\u0439 \u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F). \u0421\u0438\u043B\u044C\u043D\u043E \u0442\u0438\u043F\u0438\u0437\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u044B\u0439 \u044F\u0437\u044B\u043A \u0441\u043E \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u043C \u043A\u043E\u043D\u0442\u0440\u043E\u043B\u0435\u043C \u0442\u0438\u043F\u043E\u0432 \u0438 \u0430\u043F\u043F\u043B\u0438\u043A\u0430\u0442\u0438\u0432\u043D\u044B\u043C \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u0435\u043C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C. \u041E\u0442\u043B\u0438\u0447\u0438\u0435 \u0435\u0433\u043E \u043E\u0442 \u0434\u0440\u0443\u0433\u0438\u0445 \u044F\u0437\u044B\u043A\u043E\u0432 \u0437\u0430\u043A\u043B\u044E\u0447\u0430\u0435\u0442\u0441\u044F \u0432 \u0442\u043E\u043C, \u0447\u0442\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0441\u0442 \u043D\u0435 \u0434\u043E\u043B\u0436\u0435\u043D \u043E\u0431\u044A\u044F\u0432\u043B\u044F\u0442\u044C \u0442\u0438\u043F\u044B \u0434\u0430\u043D\u043D\u044B\u0445\u00A0\u2014 \u0434\u043B\u044F \u044D\u0442\u043E\u0433\u043E \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0441\u043F\u0435\u0446\u0438\u0430\u043B\u044C\u043D\u044B\u0439 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C \u0432\u044B\u0432\u043E\u0434\u0430 \u0442\u0438\u043F\u0430 \u0434\u0430\u043D\u043D\u044B\u0445 \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0438\u0440\u0443\u044E\u0449\u0438\u0445 \u0432\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u0439. \u042D\u0442\u043E\u0442 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C \u0432\u044B\u0432\u043E\u0434\u0430 \u0442\u0438\u043F\u043E\u0432 \u0434\u0435\u043B\u0430\u0435\u0442 \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u044B\u043C \u043F\u0435\u0440\u0435\u0433\u0440\u0443\u0437\u043A\u0443 \u0438 \u0441\u043E\u043F\u043E\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u0435 \u0441 \u043E\u0431\u0440\u0430\u0437\u0446\u043E\u043C \u043D\u0430 \u043E\u0441\u043D\u043E\u0432\u0435 \u0443\u043D\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u0438, \u043F\u043E\u0447\u0442\u0438 \u043A\u0430\u043A \u0432 \u044F\u0437\u044B\u043A\u0435 Prolog, \u043E\u0434\u043D\u0430\u043A\u043E \u0431\u0435\u0437 \u043D\u0435\u043E\u0431\u0445\u043E\u0434\u0438\u043C\u043E\u0441\u0442\u0438 (\u043F\u043E\u0441\u0442\u043E\u044F\u043D\u043D\u043E\u0433\u043E) \u043A\u043E\u043D\u0442\u0440\u043E\u043B\u044F \u0442\u0438\u043F\u043E\u0432 \u0432\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u0439. \u0411\u043E\u043B\u0435\u0435 \u043F\u0440\u0438\u0432\u044B\u0447\u043D\u044B\u0435 \u043A\u043E\u043C\u043F\u043E\u043D\u0435\u043D\u0442\u044B ML\u00A0\u2014 \u0441\u0431\u043E\u0440\u043A\u0430 \u043C\u0443\u0441\u043E\u0440\u0430, \u0432\u0441\u0442\u0440\u043E\u0435\u043D\u043D\u044B\u0435 \u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0430 \u043F\u043E\u0434\u0434\u0435\u0440\u0436\u043A\u0438 \u0438\u0441\u043A\u043B\u044E\u0447\u0435\u043D\u0438\u0439, \u043C\u043E\u0434\u0443\u043B\u044C\u043D\u043E\u0441\u0442\u044C. \u041E\u0441\u043D\u043E\u0432\u043D\u044B\u0435 \u0434\u043E\u0441\u0442\u043E\u0438\u043D\u0441\u0442\u0432\u0430 ML\u00A0\u2014 \u0432\u044B\u0441\u043E\u043A\u0430\u044F \u0432\u0435\u0440\u0438\u0444\u0438\u0446\u0438\u0440\u0443\u0435\u043C\u043E\u0441\u0442\u044C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C, \u043F\u0440\u043E\u0441\u0442\u043E\u0442\u0430 \u043E\u0442\u043B\u0430\u0434\u043A\u0438, \u043F\u043E\u0442\u0435\u043D\u0446\u0438\u0430\u043B \u0434\u043B\u044F \u043A\u0440\u0430\u0439\u043D\u0435 \u0432\u044B\u0441\u043E\u043A\u043E\u0439 \u043E\u043F\u0442\u0438\u043C\u0438\u0437\u0430\u0446\u0438\u0438, \u0443\u043D\u0438\u043A\u0430\u043B\u044C\u043D\u0430\u044F \u043A\u0440\u0430\u0442\u043A\u043E\u0441\u0442\u044C \u0437\u0430\u043F\u0438\u0441\u0438. \u041E\u0441\u043D\u043E\u0432\u043D\u044B\u0435 \u043D\u0435\u0434\u043E\u0441\u0442\u0430\u0442\u043A\u0438\u00A0\u2014 \u0441\u043B\u043E\u0436\u043D\u043E\u0441\u0442\u044C \u0441\u0438\u043D\u0442\u0430\u043A\u0441\u0438\u0441\u0430, \u043D\u0435\u043F\u0440\u0438\u0432\u044B\u0447\u043D\u043E\u0441\u0442\u044C \u043F\u0440\u0438\u043D\u044F\u0442\u044B\u0445 \u0441\u043E\u0433\u043B\u0430\u0448\u0435\u043D\u0438\u0439 \u0438 \u043E\u0433\u0440\u0430\u043D\u0438\u0447\u0435\u043D\u0438\u0439, \u043F\u0440\u0430\u043A\u0442\u0438\u0447\u0435\u0441\u043A\u0430\u044F \u043D\u0435\u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E\u0441\u0442\u044C \u043C\u0430\u043A\u0440\u043E\u0442\u0440\u0430\u043D\u0441\u0444\u043E\u0440\u043C\u0430\u0446\u0438\u0439. \u041A\u0430\u043A \u0438 \u0432 \u044F\u0437\u044B\u043A\u0435 LISP, \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0430 \u043D\u0430 ML \u0441\u043E\u0441\u0442\u043E\u0438\u0442 \u0438\u0437 \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0435\u043D\u0438\u0439 \u043D\u0435\u0441\u043A\u043E\u043B\u044C\u043A\u0438\u0445 \u0444\u0443\u043D\u043A\u0446\u0438\u0439. \u041A\u0430\u0436\u0434\u0430\u044F \u0444\u0443\u043D\u043A\u0446\u0438\u044F \u0438\u043C\u0435\u0435\u0442 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438 \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0435\u043D\u043D\u044B\u0435 \u0442\u0438\u043F\u044B \u0430\u0440\u0433\u0443\u043C\u0435\u043D\u0442\u043E\u0432 \u0438 \u0432\u043E\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043C\u043E\u0433\u043E \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F. \u041F\u043E\u0441\u043A\u043E\u043B\u044C\u043A\u0443 ML \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u0430\u043F\u043F\u043B\u0438\u043A\u0430\u0442\u0438\u0432\u043D\u044B\u043C \u044F\u0437\u044B\u043A\u043E\u043C, \u0442\u043E \u0445\u0440\u0430\u043D\u0435\u043D\u0438\u0435 \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0445 \u0432 \u043D\u0435\u043C \u043E\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u0438\u043D\u0430\u0447\u0435, \u0447\u0435\u043C \u0432 \u044F\u0437\u044B\u043A\u0430\u0445 \u0421 \u0438\u043B\u0438 FORTRAN. \u0418\u0437\u043C\u0435\u043D\u0435\u043D\u0438\u0435 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0439 \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0445 \u0437\u0430\u043F\u0440\u0435\u0449\u0435\u043D\u043E (\u00AB\u043E\u0434\u043D\u043E\u043A\u0440\u0430\u0442\u043D\u044B\u0435 \u043F\u0440\u0438\u0441\u0432\u043E\u0435\u043D\u0438\u044F\u00BB). \u0412\u043D\u0443\u0442\u0440\u0435\u043D\u043D\u0435\u0435 \u0441\u043E\u0434\u0435\u0440\u0436\u0438\u043C\u043E\u0435 \u0441\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u044B\u0445 \u043E\u0431\u044A\u0435\u043A\u0442\u043E\u0432, \u0441\u043F\u0438\u0441\u043A\u043E\u0432 \u0438 \u0441\u0442\u0440\u043E\u043A \u043D\u0435 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u0438\u0437\u043C\u0435\u043D\u0435\u043D\u043E \u0432 \u043F\u0440\u0438\u043D\u0446\u0438\u043F\u0435, \u043B\u0438\u0431\u043E \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u043F\u0440\u0435\u0434\u0432\u0430\u0440\u0438\u0442\u0435\u043B\u044C\u043D\u043E\u0433\u043E \u043E\u0431\u044A\u044F\u0432\u043B\u0435\u043D\u0438\u044F \u043C\u0443\u0442\u0438\u0440\u0443\u0435\u043C\u044B\u0445 \u043F\u043E\u043B\u0435\u0439 (\u0432 caml). \u042D\u0442\u043E \u0443\u043F\u0440\u043E\u0449\u0430\u0435\u0442 \u043E\u043F\u0442\u0438\u043C\u0438\u0437\u0430\u0446\u0438\u044E, \u043E\u0442\u043B\u0430\u0434\u043A\u0443 \u0438 \u0441\u0431\u043E\u0440\u043A\u0443 \u043C\u0443\u0441\u043E\u0440\u0430, \u043E\u0441\u043D\u043E\u0432\u0430\u043D\u043D\u0443\u044E \u043D\u0430 \u043F\u043E\u043A\u043E\u043B\u0435\u043D\u0438\u044F\u0445 (generational garbage collection). \u0414\u043B\u044F \u0438\u043C\u0438\u0442\u0430\u0446\u0438\u0438 \u043F\u0440\u0438\u0441\u0432\u043E\u0435\u043D\u0438\u0439 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0441\u0442 \u043C\u043E\u0436\u0435\u0442 \u043F\u0440\u0438\u043C\u0435\u043D\u044F\u0442\u044C \u043E\u0431\u044A\u0435\u043A\u0442 ref\u00A0\u2014 \u043A\u043E\u043D\u0442\u0435\u0439\u043D\u0435\u0440 \u0441 \u043E\u0434\u043D\u0438\u043C \u043C\u043E\u0434\u0438\u0444\u0438\u0446\u0438\u0440\u0443\u0435\u043C\u044B\u043C \u043F\u043E\u043B\u0435\u043C. \u0424\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u043E\u0435 \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B \u043D\u0430 ML \u043F\u043E\u0434\u0440\u0430\u0437\u0443\u043C\u0435\u0432\u0430\u0435\u0442, \u0447\u0442\u043E \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u044B \u0444\u0443\u043D\u043A\u0446\u0438\u0439 \u043F\u0435\u0440\u0435\u0434\u0430\u044E\u0442\u0441\u044F \u043F\u043E \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044E, \u0441\u043E\u0441\u0442\u0430\u0432\u043B\u044F\u044E\u0449\u0438\u0435 \u0441\u043B\u043E\u0436\u043D\u044B\u0445 \u043E\u0431\u044A\u0435\u043A\u0442\u043E\u0432 (\u0440\u0430\u0437\u043C\u0435\u0449\u0435\u043D\u043D\u044B\u0435 \u0432 \u043A\u0443\u0447\u0435) \u043F\u0440\u0438 \u044D\u0442\u043E\u043C \u043D\u0435 \u043A\u043E\u043F\u0438\u0440\u0443\u044E\u0442\u0441\u044F, \u044F\u0432\u043B\u044F\u044F\u0441\u044C \u0440\u0430\u0437\u0434\u0435\u043B\u044F\u0435\u043C\u044B\u043C\u0438. \u041A\u043E\u043C\u043C\u0435\u043D\u0442\u0430\u0440\u0438\u0438 \u0432 ML \u043E\u0431\u043E\u0437\u043D\u0430\u0447\u0430\u044E\u0442\u0441\u044F \u0441\u043B\u0435\u0434\u0443\u044E\u0449\u0438\u043C \u043E\u0431\u0440\u0430\u0437\u043E\u043C: (* \u2026 *). ML \u043F\u043E\u0437\u0432\u043E\u043B\u044F\u0435\u0442 \u0441\u043E\u0437\u0434\u0430\u0432\u0430\u0442\u044C \u0437\u0430\u043F\u0438\u0441\u0438 \u0438 \u0430\u0431\u0441\u0442\u0440\u0430\u043A\u0442\u043D\u044B\u0435 \u0442\u0438\u043F\u044B \u0434\u0430\u043D\u043D\u044B\u0445, \u0430 \u0442\u0430\u043A\u0436\u0435 \u0441\u043E\u0437\u0434\u0430\u0432\u0430\u0442\u044C \u0438 \u043E\u0431\u0440\u0430\u0431\u0430\u0442\u044B\u0432\u0430\u0442\u044C \u0438\u0441\u043A\u043B\u044E\u0447\u0435\u043D\u0438\u044F. \u0412\u043E\u0437\u043C\u043E\u0436\u043D\u043E\u0441\u0442\u0438 \u0432\u0432\u043E\u0434\u0430-\u0432\u044B\u0432\u043E\u0434\u0430 \u0432 ML \u043D\u0435 \u043E\u0447\u0435\u043D\u044C \u0432\u0435\u043B\u0438\u043A\u0438, \u0447\u0442\u043E \u043E\u0431\u0443\u0441\u043B\u043E\u0432\u043B\u0435\u043D\u043E \u043E\u0431\u043B\u0430\u0441\u0442\u044C\u044E \u0435\u0433\u043E \u043F\u0440\u0438\u043C\u0435\u043D\u0435\u043D\u0438\u044F\u00A0\u2014 \u0431\u043E\u043B\u044C\u0448\u0438\u043D\u0441\u0442\u0432\u0443 \u0438\u0441\u0441\u043B\u0435\u0434\u043E\u0432\u0430\u0442\u0435\u043B\u0435\u0439 \u043D\u0435 \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044F \u043E\u0431\u0440\u0430\u0431\u0430\u0442\u044B\u0432\u0430\u0442\u044C \u043C\u043D\u043E\u0433\u043E\u0447\u0438\u0441\u043B\u0435\u043D\u043D\u044B\u0435 \u0431\u0430\u0437\u044B \u0434\u0430\u043D\u043D\u044B\u0445 \u0441 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u043D\u0438\u0435\u043C \u0441\u043B\u043E\u0436\u043D\u044B\u0445 \u0444\u043E\u0440\u043C\u0430\u0442\u043E\u0432. \u0421\u0438\u043D\u0442\u0430\u043A\u0441\u0438\u0441 \u044D\u0442\u043E\u0433\u043E \u044F\u0437\u044B\u043A\u0430 \u043D\u0435\u043E\u0431\u044B\u0447\u0430\u0439\u043D\u043E \u0437\u0430\u043F\u0443\u0442\u0430\u043D, \u043F\u0440\u0435\u0432\u043E\u0441\u0445\u043E\u0434\u044F \u0441\u043B\u043E\u0436\u043D\u043E\u0441\u0442\u044C\u044E \u0434\u0430\u0436\u0435 \u0441\u0438\u043D\u0442\u0430\u043A\u0441\u0438\u0441 C++. \u0418\u043C\u0435\u0435\u0442 \u0434\u0438\u0430\u043B\u0435\u043A\u0442\u044B: Standard ML, CaML Light \u0438 Objective CaML (\u043F\u043E\u0441\u043B\u0435\u0434\u043D\u0438\u0439 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u0432 \u0442\u043E\u043C \u0447\u0438\u0441\u043B\u0435 \u043E\u0431\u044A\u0435\u043A\u0442\u043D\u043E-\u043E\u0440\u0438\u0435\u043D\u0442\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u044B\u043C \u044F\u0437\u044B\u043A\u043E\u043C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F)."@ru ,
"ML \u00E9s un llenguatge de programaci\u00F3 funcional desenvolupat per Robin Milner i altres a finals del 1970 a la Universitat d'Edimburg amb una sintaxi inspirada en el llenguatge abstracte ISWIM que ha donat lloc a una fam\u00EDlia de llenguatges. Hist\u00F2ricament les sigles ML es refereixen a MetaLlenguatge. \u00C9s conegut per l'\u00FAs que fa de l'algorisme d'infer\u00E8ncia de tipus Hindley-Milner."@ca ,
"ML \u00E8 l'acronimo che identifica un linguaggio di programmazione funzionale general-purpose sviluppato dall'equipe di Robin Milner presso l'Universit\u00E0 di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad ISWIM. Storicamente, ML sta per MetaLinguaggio visto che era nato per la verifica formale attraverso il theorem prover LCF (il linguaggio di cui ML rappresentava il livello meta era pplambda, una combinazione di calcolo dei predicati del primo ordine e lambda-calcolo polimorfico debolmente tipizzato). Tra i linguaggi di programmazione funzionali \u00E8 tra i pi\u00F9 noti per il suo utilizzo dell'algoritmo di inferenza dei tipi di Hindley-Milner, che riesce ad inferire quasi tutti i tipi senza bisogno di dichiarazioni. ML viene definito come linguaggio funzionale impuro, perch\u00E9 a differenza di altri linguaggi funzionali, come ad es. Haskell, consente la programmazione imperativa, e pertanto anche effetti collaterali. Le caratteristiche principali di ML sono le seguenti: valutazione delle espressioni con chiamata per valore, gestione automatica della memoria attraverso un meccanismo di garbage collection, polimorfismo parametrico, tipizzazione statica, inferenza dei tipi, tipi di dati algebrici, pattern matching e gestione delle eccezioni. La combinazione di tutte queste caratteristiche ha dato vita ad uno dei migliori compilatori disponibili . A differenza di Haskell, ML usa un meccanismo di valutazione rapido (immediato): tutte le sottoespressioni che formano una espressione sono sempre valutate (ad eccezione delle espressioni condizionali). Come conseguenza non si possono creare liste infinite. Tuttavia, la valutazione pigra (lazy evaluation) pu\u00F2 essere simulata, e quindi anche la creazione di liste infinite, attraverso l'utilizzo di funzioni anonime. Sono nati diversi linguaggi a partire da ML; tra questi i pi\u00F9 popolari sono SML e Ocaml (Objective Caml). ML ha anche influenzato molti altri linguaggi, soprattutto quelli sviluppati in ambito accademico. ML \u00E8 particolarmente adatto alle applicazioni teoriche come il progetto e lo sviluppo di linguaggi (compilatori, analizzatori, dimostratori di teoremi) ma ha trovato applicazione anche in ambito di bioinformatica, analisi finanziarie, ecc."@it ,
"ML\uFF08\u3048\u3080\u3048\u308B\u3001Meta-Language\uFF09\u306F\u3001\u6700\u521D\u671F\u306E\u95A2\u6570\u578B\u8A00\u8A9E\u3002\u305F\u3060\u3057\u3001\u73FE\u5728\u306E\u95A2\u6570\u578B\u8A00\u8A9E\u306E\u89B3\u70B9\u304B\u3089\u3059\u308B\u3068\u3001\u547D\u4EE4\u7684\u306A\u90E8\u5206\u3092\u5BB9\u6613\u306B\u66F8\u304F\u3053\u3068\u304C\u3067\u304D\u308B\u306A\u3069\u306E\u7406\u7531\u304B\u3089\u300C\u7D14\u7C8B\u3067\u306A\u3044\u300D\u3068\u3055\u308C\u308B\u3002"@ja ,
"ML is a general-purpose functional programming language developed by Robin Milner and others in the late 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, ML stands for metalanguage: it was conceived to develop proof tactics in the LCF theorem prover (whose language, pplambda, a combination of the first-order predicate calculus and the simply typed polymorphic lambda-calculus, had ML as its metalanguage). It is known for its use of the Hindley-Milner type inference algorithm, which can automatically infer the types of most expressions without requiring explicit type annotations."@en ,
"ML (contraction de Meta Language) est un langage de programmation g\u00E9n\u00E9raliste fonctionnel"@fr ,
"ML (meta language), 1970'lerde Edinburgh \u00DCniversitesi'nde geli\u015Ftirilen fonksiyonel programlama dilidir."@tr ,
"ML \u662F\u4E00\u4E2A\u901A\u7528\u7684\u51FD\u6578\u5F0F\u7DE8\u7A0B\u8BED\u8A00\uFF0C\u5B83\u662F\u7531\u7231\u4E01\u5821\u5927\u5B66\u7684Robin Milner\u53CA\u4ED6\u4EBA\u5728\u4E8C\u5341\u4E16\u7EAA\u4E03\u5341\u5E74\u4EE3\u665A\u671F\u5F00\u53D1\u7684\u3002\u5B83\u7684\u8BED\u6CD5\u662F\u4ECEISWIM\u5F97\u5230\u7684\u7075\u611F\u3002\u4F5C\u4E3A\u5143\u8BED\u8A00\u7684ML\u662F\u4E3A\u4E86\u5E2E\u52A9\u5728LCF\u5B9A\u7406\u8BC1\u660E\u673A\u4E2D\u5BFB\u627E\u8BC1\u660E\u7B56\u7565\u800C\u6784\u60F3\u51FA\u6765\u7684\u3002\uFF08\u4E4B\u524D\u7684\u5143\u8BED\u8A00\u662Fpplambda\uFF0C\u5B83\u8054\u5408\u4E86\u4E00\u9636\u903B\u8F91\u6F14\u7B97\u548C\u6709\u7C7B\u578B\u7684\u591A\u6001\u7684\u039B\u6F14\u7B97\uFF09\u3002\u5B83\u4F7F\u7528\u4E86Hindley-Milner\u7C7B\u578B\u63A8\u8BBA\u7B97\u6CD5\u6765\u63A8\u6D4B\u5927\u591A\u6570\u503C\u7684\u7C7B\u578B\uFF0C\u800C\u4E0D\u9700\u8981\u56DB\u5904\u4F7F\u7528\u6CE8\u89E3\u3002 ML\u4E00\u822C\u88AB\u5F52\u4E3A\u975E\u7EAF\u51FD\u6570\u5F0F\u7F16\u7A0B\u8BED\u8A00\uFF0C\u56E0\u4E3A\u5B83\u5141\u8BB8\u526F\u4F5C\u7528\u548C\u6307\u4EE4\u5F0F\u7F16\u7A0B\u3002\u8FD9\u4E00\u70B9\u548C\u7EAF\u51FD\u6570\u5F0F\u7F16\u7A0B\u8BED\u8A00\u2014\u2014\u4F8B\u5982Haskell\u2014\u2014\u5F88\u4E0D\u4E00\u6837\u3002 ML\u7279\u6027\u6709\u60F0\u6027\u6C42\u503C\u7684\u6C42\u503C\u7B56\u7565\uFF0C\u4E00\u7EA7\u51FD\u6570\uFF0C \u5E26\u6709\u5783\u573E\u6536\u96C6\u7684\u81EA\u52A8\u5185\u5B58\u7BA1\u7406\uFF0C \u53C2\u6570\u591A\u6001\uFF0C\u9759\u6001\u6570\u636E\u7C7B\u578B\uFF0C\u7C7B\u578B\u63A8\u8BBA\uFF0C\u4EE3\u6570\u6570\u636E\u7C7B\u578B\uFF0C\u6A21\u5F0F\u5339\u914D\u548C\u5F02\u5E38\u5904\u7406\u3002 \u4E0D\u50CFHaskell\uFF0CML\u4F7F\u7528\u70ED\u60C5\u6C42\u503C\uFF0C\u4E5F\u5C31\u662F\u8BF4\u6240\u6709\u7684\u5B50\u8868\u8FBE\u5F0F\u603B\u662F\u88AB\u6C42\u503C\u3002\u5BFC\u81F4\u7684\u4E00\u4E2A\u7ED3\u679C\u662F\u4F60\u4E0D\u80FD\u4F7F\u7528\u65E0\u7A77\u8868\u3002\u7136\u800C\uFF0C\u60F0\u6027\u6C42\u503C\u4EA7\u751F\u7684\u65E0\u7A77\u8868\u53EF\u4EE5\u901A\u8FC7\u4F7F\u7528\u533F\u540D\u51FD\u6570\u6765\u6A21\u62DF\u3002 \u4ECA\u5929\u5728ML\u5BB6\u65CF\u4E2D\u6709\u597D\u51E0\u79CD\u8BED\u8A00\uFF1A\u4E24\u79CD\u4E3B\u8981\u7684\u65B9\u8A00\u662FStandard ML\u548CCaml\uFF0C\u5176\u4ED6\u7684\u5305\u62ECF# \uFF0D \u9488\u5BF9Microsoft . NET\u5E73\u53F0\u7684\u5F00\u653E\u7814\u7A76\u9879\u76EE\u3002 ML\u4E2D\u7684\u601D\u60F3\u5F71\u54CD\u4E86\u4F17\u591A\u7684\u8BED\u8A00\uFF0C\u4F8B\u5982Haskell\uFF0CCyclone\u548CNemerle\u3002 ML\u7684\u5B9E\u529B\u5927\u591A\u88AB\u7528\u4E8E\u8BED\u8A00\u8BBE\u8BA1\u548C\u64CD\u4F5C\uFF08\u7F16\u8BD1\u5668\u3001\u5206\u6790\u5668\u3001\u5B9A\u7406\u8BC1\u660E\u673A\uFF09\uFF0C \u4F46\u662F\u5B83\u4F5C\u4E3A\u901A\u7528\u8BED\u8A00\u4E5F\u88AB\u7528\u4E8E\u751F\u5316\uFF0C\u91D1\u878D\u7CFB\u7EDF\uFF0C\u548C\u5B97\u8C31\u6570\u636E\u5E93\uFF0C\u4E00\u4E2AP2P\u7684\u5BA2\u6237\uFF0F\u670D\u52A1\u5668\u7A0B\u5E8F\u7B49\u7B49\u3002"@zh ,
"ML \u00E4r ett allm\u00E4nt funktionellt programspr\u00E5k som utvecklades av Robin Milner med flera i slutet av 1970-talet vid University of Edinburgh, vars syntax inspirerats av ISWIM. Historiskt st\u00E5r ML f\u00F6r metalanguage eftersom det utvecklades som st\u00F6dspr\u00E5k f\u00F6r teorempr\u00F6varen LCF. ML \u00E4r k\u00E4nt f\u00F6r sitt bruk av Hindley-Milners typh\u00E4rledningsalgoritm, som kan h\u00E4rleda datatypen hos de flesta v\u00E4rden i ett program. Detta \u00E4r i kontrast med de n\u00F6dv\u00E4ndiga utf\u00F6rliga deklarationerna som kritiserats i spr\u00E5k som Java."@sv ,
"ML jest rodzin\u0105 funkcyjnych j\u0119zyk\u00F3w programowania, kt\u00F3re charakteryzuje si\u0119 statycznym, silnym typowaniem. Jako jeden z pierwszych j\u0119zyk\u00F3w udost\u0119pnia\u0142 typy polimorficzne. Zosta\u0142 zaprojektowany m. in. przez Robina Milnera w roku 1973 i by\u0142 cz\u0119\u015Bci\u0105 wi\u0119kszego projektu LCF (Logic for Computable Functions). Zadaniem LCF by\u0142o automatyczne dowodzenie poprawno\u015Bci funkcyjnych program\u00F3w, j\u0119zyka ML u\u017Cywano w\u0142a\u015Bnie do zapisu tych program\u00F3w. St\u0105d te\u017C obecnie ML jest stosowany m. in. do automatycznego dowodzenia twierdze\u0144 i poprawno\u015Bci program\u00F3w, a tak\u017Ce szybkiego prototypowania. Rozwin\u0119\u0142o si\u0119 wiele dialekt\u00F3w j\u0119zyka, m. in. Ocaml (w\u0142\u0105czaj\u0105cy do j\u0119zyka elementy programowania obiektowego), Concurrent ML czy Lazy ML (kt\u00F3ry w odr\u00F3\u017Cnieniu od innych dialekt\u00F3w stosuje leniw\u0105 ewaluacj\u0119). W roku 1984 z inicjatywy Robina Milnera ustandaryzowano j\u0119zyk ML tworz\u0105c dialekt Standard ML. Istnieje kilkana\u015Bcie implementacji tego dialektu, m. in. Moscow ML, Stanford ML i SML97. W roku 2000 standard zosta\u0142 poprawiony, czego efektem by\u0142o powstanie ML-2000."@pl ;
rdfs:comment "ML (Meta Language)\u00A0\u2014 \u0441\u0435\u043C\u0435\u0439\u0441\u0442\u0432\u043E \u0441\u0442\u0440\u043E\u0433\u0438\u0445 \u044F\u0437\u044B\u043A\u043E\u0432 \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u0441 \u0440\u0430\u0437\u0432\u0438\u0442\u043E\u0439 \u043F\u043E\u043B\u0438\u043C\u043E\u0440\u0444\u043D\u043E\u0439 \u0441\u0438\u0441\u0442\u0435\u043C\u043E\u0439 \u0442\u0438\u043F\u043E\u0432 \u0438 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u0438\u0437\u0443\u0435\u043C\u044B\u043C\u0438 \u043C\u043E\u0434\u0443\u043B\u044F\u043C\u0438. ML \u043F\u0440\u0435\u043F\u043E\u0434\u0430\u0451\u0442\u0441\u044F \u0432\u043E \u043C\u043D\u043E\u0433\u0438\u0445 \u0437\u0430\u043F\u0430\u0434\u043D\u044B\u0445 \u0443\u043D\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430\u0445 (\u0432 \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u0434\u0430\u0436\u0435 \u043A\u0430\u043A \u043F\u0435\u0440\u0432\u044B\u0439 \u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F)."@ru ,
"Meta Language (ML) beschreibt eine Familie funktionaler Programmiersprachen mit statischer Typisierung, Polymorphie, automatischer Speicherbereinigung und im Allgemeinen strenger Auswertung. ML ist allerdings keine rein funktionale Sprache wie Haskell, sondern erlaubt an manchen Stellen auch imperative Konstrukte und Wirkungen, beispielsweise f\u00FCr File I/O."@de ,
""@zh ,
"ML es un lenguaje de programaci\u00F3n de prop\u00F3sito general de la familia de los lenguajes de programaci\u00F3n funcional desarrollado por Robin Milner y otros a finales de los a\u00F1os 1970 en la Universidad de Edimburgo."@es ,
"ML jest rodzin\u0105 funkcyjnych j\u0119zyk\u00F3w programowania, kt\u00F3re charakteryzuje si\u0119 statycznym, silnym typowaniem. Jako jeden z pierwszych j\u0119zyk\u00F3w udost\u0119pnia\u0142 typy polimorficzne. Zosta\u0142 zaprojektowany m. in. przez Robina Milnera w roku 1973 i by\u0142 cz\u0119\u015Bci\u0105 wi\u0119kszego projektu LCF (Logic for Computable Functions). Zadaniem LCF by\u0142o automatyczne dowodzenie poprawno\u015Bci funkcyjnych program\u00F3w, j\u0119zyka ML u\u017Cywano w\u0142a\u015Bnie do zapisu tych program\u00F3w. St\u0105d te\u017C obecnie ML jest stosowany m. in."@pl ,
"ML is een functionele programmeertaal, ontwikkeld door Robin Milner en anderen aan de Universiteit van Edinburgh. ML was oorspronkelijk een afkorting voor Meta Language. Het was bedoeld als de metataal van het redeneerprogramma LCF. ML is, in tegenstelling tot Clean en Haskell, een \"onzuivere\" functionele taal, in de zin dat ook imperatief programmeren mogelijk is in ML (net zoals in Lisp). De twee meest gebruikte ML-dialecten zijn tegenwoordig Standard ML en OCaml (Objective Caml)."@nl ,
"ML \u00E9 uma linguagem de programa\u00E7\u00E3o funcional de proposta geral desenvolvida por Robin Milner e outros no final dos anos 1970 na Universidade de Edimburgo, cuja sintaxe foi inspirada pelo ISWIM. \u00C9 considerada uma linguagem funcional impura, por permitir a programa\u00E7\u00E3o imperativa, ao contr\u00E1rio de outras linguagens funcionais como Haskell."@pt ,
"ML is a general-purpose functional programming language developed by Robin Milner and others in the late 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, ML stands for metalanguage: it was conceived to develop proof tactics in the LCF theorem prover (whose language, pplambda, a combination of the first-order predicate calculus and the simply typed polymorphic lambda-calculus, had ML as its metalanguage)."@en ,
"ML \u00E9s un llenguatge de programaci\u00F3 funcional desenvolupat per Robin Milner i altres a finals del 1970 a la Universitat d'Edimburg amb una sintaxi inspirada en el llenguatge abstracte ISWIM que ha donat lloc a una fam\u00EDlia de llenguatges. Hist\u00F2ricament les sigles ML es refereixen a MetaLlenguatge. \u00C9s conegut per l'\u00FAs que fa de l'algorisme d'infer\u00E8ncia de tipus Hindley-Milner."@ca ,
"ML \u00E4r ett allm\u00E4nt funktionellt programspr\u00E5k som utvecklades av Robin Milner med flera i slutet av 1970-talet vid University of Edinburgh, vars syntax inspirerats av ISWIM. Historiskt st\u00E5r ML f\u00F6r metalanguage eftersom det utvecklades som st\u00F6dspr\u00E5k f\u00F6r teorempr\u00F6varen LCF. ML \u00E4r k\u00E4nt f\u00F6r sitt bruk av Hindley-Milners typh\u00E4rledningsalgoritm, som kan h\u00E4rleda datatypen hos de flesta v\u00E4rden i ett program."@sv ,
"ML (contraction de Meta Language) est un langage de programmation g\u00E9n\u00E9raliste fonctionnel"@fr ,
"ML \u00E8 l'acronimo che identifica un linguaggio di programmazione funzionale general-purpose sviluppato dall'equipe di Robin Milner presso l'Universit\u00E0 di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad ISWIM."@it ,
"ML\uFF08\u3048\u3080\u3048\u308B\u3001Meta-Language\uFF09\u306F\u3001\u6700\u521D\u671F\u306E\u95A2\u6570\u578B\u8A00\u8A9E\u3002\u305F\u3060\u3057\u3001\u73FE\u5728\u306E\u95A2\u6570\u578B\u8A00\u8A9E\u306E\u89B3\u70B9\u304B\u3089\u3059\u308B\u3068\u3001\u547D\u4EE4\u7684\u306A\u90E8\u5206\u3092\u5BB9\u6613\u306B\u66F8\u304F\u3053\u3068\u304C\u3067\u304D\u308B\u306A\u3069\u306E\u7406\u7531\u304B\u3089\u300C\u7D14\u7C8B\u3067\u306A\u3044\u300D\u3068\u3055\u308C\u308B\u3002"@ja ,
"ML (meta language), 1970'lerde Edinburgh \u00DCniversitesi'nde geli\u015Ftirilen fonksiyonel programlama dilidir."@tr .
@prefix skos: .
@prefix ns5: .
skos:subject ns5:ML_programming_language_family ,
ns5:Functional_languages ,
ns5:Programming_languages_created_in_the_1970s ,
ns5:Procedural_programming_languages ,
ns5:Statically-typed_programming_languages .
@prefix ns6: .
dbpprop:wikiPageUsesTemplate ns6:infobox_programming_language ;
dbpprop:year 1973 .
@prefix dbpedia: .
dbpprop:influenced dbpedia:Clojure ,
,
,
dbpedia:Nemerle ,
,
dbpedia:Mythryl ,
,
dbpedia:Cyclone_programming_language ;
dbpprop:influencedBy dbpedia:ISWIM ;
dbpprop:designer dbpedia:University_of_Edinburgh ,
dbpedia:Robin_Milner ;
dbpprop:paradigm dbpedia:Imperative_programming ,
dbpedia:Functional_programming ,
dbpedia:Multi-paradigm_programming_language ;
dbpprop:typing dbpedia:Type_inference ,
dbpedia:Static_typing ,
dbpedia:Strong_typing ;
dbpprop:dialects dbpedia:OCaml ,
dbpedia:F_Sharp_programming_language ,
dbpedia:Standard_ML ;
dbpprop:hasPhotoCollection .
@prefix ns8: .
dbpprop:wordnet_type ns8:synset-programming_language-noun-1 .
dbpedia:Metalanguage dbpprop:for2Property .
dbpprop:influencedBy ,
;
dbpprop:influenced .
dbpedia:BitC dbpprop:influencedBy .
dbpprop:influencedBy .
@prefix dbpedia-owl: .
dbpedia:Lawrence_Paulson dbpedia-owl:knownFor .
@prefix ns10: .
dbpedia:Lawrence_Paulson ns10:knownFor ;
dbpprop:knownFor .
dbpprop:influencedBy .
dbpedia:Clojure dbpprop:influencedBy .
dbpedia:Nemerle dbpprop:influencedBy .
dbpprop:influencedBy ,
.
dbpedia:Mythryl dbpprop:influencedBy .
dbpprop:influencedBy .
dbpedia:ML_programming_language dbpprop:redirect .
dbpedia:Ml_programming_language dbpprop:redirect .
dbpedia:ML_language dbpprop:redirect .