Standard ML (SML) is a generalpurpose, modular, functional programming language with compiletime type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. SML is a modern descendant of the ML programming language used in the Logic for Computable Functions (LCF) theoremproving project.

PropertyValue
dbpprop:abstract
  • Standard ML (SML) is a generalpurpose, modular, functional programming language with compiletime type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. SML is a modern descendant of the ML programming language used in the Logic for Computable Functions (LCF) theoremproving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML in 1997).
  • Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO). ML-Schöpfer Robin Milner schlug SML 1983 vor, um die verschiedenen Dialekte von ML zu standardisieren. Die Sprache wurde von 1984 bis 1988 entwickelt und schließlich 1990 von Robin Milner, Mads Tofte und Robert Harper formalisiert. 1997 wurde mit SML'97 eine Revision der Sprache veröffentlicht, die neben einigen Vereinfachungen auch eine SML-Basisbibliothek enthält. Wichtige Merkmale von SML sind unter anderem die statische Typisierung, Polymorphie auf Funktions- und Datentypsebene, automatische Speicherbereinigung sowie strenge Auswertung und Ausnahmebehandlung. Außerdem unterstützt SML Funktionen höherer Ordnung, Module und sogenannten Funktoren, die hier parametrisierte Datentypen bezeichnen. Eine Besonderheit von SML ist, dass die Sprache vollständig formal definiert ist. Dadurch können wichtige Eigenschaften der Sprache mathematisch bewiesen werden.
  • L' Standard ML o SML o ML Estàndard és un llenguatge de programació funcional per a aplicacions de tota mena, amb comprovació de tipus en temps de compilació, i inferència de tipus. És popular entre desenvolupadors de compiladors, i investigadors de llenguatges de programació, així com demostradors de teoremes. SML és un descendent modern del llenguatge de programació ML emprat en el projecte de demostració de teoremes "Lògica per a funcions computables". Es distingeix entre altres llenguatges de programació en que té una especificació formal i semàntica operacional proposades a "La Definició de Standard ML (1990" i revisada i simplificada en l'edició de 1997.
  • El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica operacional publicada en el libro The Definition of Standard ML.
  • Az SML programozási nyelv a lambda-kalkuluson alapuló funkcionális programozási nyelvek családjába tartozik, az ML programozási nyelv szabványosított kiterjesztése. A széles körben elterjedt nyelvek között egyedi módon formális specifikációval rendelkezik, működési szemantikáját a The Definition of Standard ML című könyv írja le. Leginkább egyetemi környezetben használják oktatási célokkal.
  • In informatica, SML (Standard ML) è un linguaggio di programmazione derivato dall'ML. L'ML originale era una serie di MetaLinguaggi ideati da Robin Milner (e dai suoi studenti) all'Università di Edimburgo per creare programmi che eseguissero la dimostrazione di teoremi (theorem provers). Questi metalinguaggi furono poi "standardizzati" per dare origine all'SML, di cui lo standard più recente risale al 1997 (The Definition of Standard ML - Revised). L'SML è un linguaggio funzionale, quindi avente la caratteristica di rendere facile ed efficiente la creazione e l'uso di funzioni speciallizzate. In questo, SML assomiglia al Lisp o allo Scheme. Come questi, SML ha molti dialetti oltre al linguaggio standard, tra i quali si distingue Ocaml, che è object oriented, e CML, che è concurrent o parallelo. Altri elementi comuni a Lisp e Scheme sono la presenza del garbage collector e di date di strutture dinamiche che sono integrate col linguaggio, per esempio le liste. Al contrario di Lisp e Scheme, SML ha un sistema di tipi che permette già al momento della compilazione la verifica che le funzioni siano usate su argomenti del tipo giusto. Inoltre, diversi dialetti di SML hanno sistemi per organizzare i programmi in moduli, con firme (signature), implementazioni (structure), e implementazioni configurabili (functors).
  • Standard ML (SML) は、汎用のモジュラな関数型言語の一種で、コンパイル時の型検査と型推論を特徴とする。コンパイラ作成者やプログラミング言語研究者にはよく知られており、定理証明器の開発でもよく使われる。 SMLは、MLという言語を発展させたもので、LCFという自動定理証明プロジェクトで使われた。The Definition of Standard ML という本で型付け規則と操作的意味論が与えられており、形式仕様がしっかり定義されている点が他の一般の言語と異なる。その本は1990年に出版されたが、1997年に改版され単純化された。
  • Standard ML (SML) - język programowania funkcyjnego powstały w 1990 roku jako pierwszy standard języka ML (ang. Meta Language). Twórcami SML-a byli Robin Milner, Mads Tofte i Robert Harper. W 1997 roku powstał aktualny standard języka. Został on opracowany przez Milnera, Tofte i Harpera oraz Davida Mac Queeina. Podobnym językiem jest Ocaml.
  • Standard ML — один из первых типизированных языков функционального программирования. Содержит некоторые императивные свойства, такие как ссылки на изменяемые значения, и поэтому не является чистым. При вычислениях использует «вызов-по-значению». Используется очень интересная реализация модульности. Присутствует мощная полиморфная система типов (основанная на параметрическом полиморфизме). Последний стандарт языка — Standard ML-97, для которого существует формальные математические определения синтаксиса, а также статической и динамической семантик языка.
  • Standart ML (SML), çok amaçlı işlevsel programlama dilidir. Çoğunlukla derleyici/yorumlayıcı yazımı ve teorem ispatlama konularında tercih edilir. ML ailesinin diğer fertleri gibi tür çıkarımı yeteneği ile ünlüdür. Ayrıca çok gelişmiş bir modül sistemine sahiptir.
  • Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів. SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році.
dbpprop:curator
dbpprop:dialects
dbpprop:hasPhotoCollection
dbpprop:implementations
dbpprop:influencedBy
dbpprop:name
  • Standard ML
dbpprop:paradigm
dbpprop:reference
dbpprop:title
  • Standard ML language
dbpprop:typing
dbpprop:urlname
  • Standard_ML_language
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
rdf:type
rdfs:comment
  • Standard ML (SML) is a generalpurpose, modular, functional programming language with compiletime type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. SML is a modern descendant of the ML programming language used in the Logic for Computable Functions (LCF) theoremproving project.
  • Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO). ML-Schöpfer Robin Milner schlug SML 1983 vor, um die verschiedenen Dialekte von ML zu standardisieren. Die Sprache wurde von 1984 bis 1988 entwickelt und schließlich 1990 von Robin Milner, Mads Tofte und Robert Harper formalisiert.
  • L' Standard ML o SML o ML Estàndard és un llenguatge de programació funcional per a aplicacions de tota mena, amb comprovació de tipus en temps de compilació, i inferència de tipus. És popular entre desenvolupadors de compiladors, i investigadors de llenguatges de programació, així com demostradors de teoremes. SML és un descendent modern del llenguatge de programació ML emprat en el projecte de demostració de teoremes "Lògica per a funcions computables".
  • El lenguaje de programación Standard ML o SML es un lenguaje descendiente del lenguaje ML que nació como el Meta Lenguaje del sistema LCF. A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica operacional publicada en el libro The Definition of Standard ML.
  • Az SML programozási nyelv a lambda-kalkuluson alapuló funkcionális programozási nyelvek családjába tartozik, az ML programozási nyelv szabványosított kiterjesztése. A széles körben elterjedt nyelvek között egyedi módon formális specifikációval rendelkezik, működési szemantikáját a The Definition of Standard ML című könyv írja le. Leginkább egyetemi környezetben használják oktatási célokkal.
  • In informatica, SML (Standard ML) è un linguaggio di programmazione derivato dall'ML. L'ML originale era una serie di MetaLinguaggi ideati da Robin Milner (e dai suoi studenti) all'Università di Edimburgo per creare programmi che eseguissero la dimostrazione di teoremi (theorem provers). Questi metalinguaggi furono poi "standardizzati" per dare origine all'SML, di cui lo standard più recente risale al 1997 (The Definition of Standard ML - Revised).
  • Standard ML (SML) - język programowania funkcyjnego powstały w 1990 roku jako pierwszy standard języka ML (ang. Meta Language). Twórcami SML-a byli Robin Milner, Mads Tofte i Robert Harper. W 1997 roku powstał aktualny standard języka. Został on opracowany przez Milnera, Tofte i Harpera oraz Davida Mac Queeina. Podobnym językiem jest Ocaml.
  • Standard ML — один из первых типизированных языков функционального программирования. Содержит некоторые императивные свойства, такие как ссылки на изменяемые значения, и поэтому не является чистым. При вычислениях использует «вызов-по-значению».
  • Standart ML (SML), çok amaçlı işlevsel programlama dilidir. Çoğunlukla derleyici/yorumlayıcı yazımı ve teorem ispatlama konularında tercih edilir. ML ailesinin diğer fertleri gibi tür çıkarımı yeteneği ile ünlüdür. Ayrıca çok gelişmiş bir modül sistemine sahiptir.
  • Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів. SML є сучасним продовженням мови програмування ML.
rdfs:label
  • Standard ML
  • Standard ML
  • ML Estàndard
  • Standard ML
  • SML
  • Standard ML
  • Standard ML
  • Standard ML
  • SML
  • Standart ML
  • Standard ML
owl:sameAs
skos:subject
foaf:page
is dbpedia-owl:Person/knownFor of
is dbpedia-owl:knownFor of
is dbpprop:dialects of
is dbpprop:influencedBy of
is dbpprop:knownFor of
is dbpprop:redirect of
is owl:sameAs of