This HTML5 document contains 294 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dahttp://da.dbpedia.org/resource/
n50https://cakeml.org/
dbthttp://dbpedia.org/resource/Template:
n38http://www.cl.cam.ac.uk/Research/TSG/SMLNET/
wikipedia-enhttp://en.wikipedia.org/wiki/
n37https://web.archive.org/web/20200220023435/http:/sml-family.org/
n14https://github.com/SOSML/
n20http://hy.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
schemahttp://schema.org/
n59http://ml.dbpedia.org/resource/
n19http://www.rosettacode.org/wiki/Category:
dbpedia-frhttp://fr.dbpedia.org/resource/
n23http://
dctermshttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n42https://www.cs.cmu.edu/afs/cs/project/pscico/pscico/src/matrix/
n49http://www.itu.dk/people/sestoft/
dbpedia-cshttp://cs.dbpedia.org/resource/
n40http://www.cs.cornell.edu/home/jgm/
n25https://github.com/SMLFamily/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n45http://d-nb.info/gnd/
dbphttp://dbpedia.org/property/
dbpedia-eohttp://eo.dbpedia.org/resource/
n33http://www.pllab.riec.tohoku.ac.jp/smlsharp/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n9https://www.cs.cmu.edu/~rwh/isml/
dbchttp://dbpedia.org/resource/Category:
n61http://www.dcs.ed.ac.uk/home/stg/NOTES/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
n56http://www.smlnj.org/
n8https://web.archive.org/web/20160107005413/http:/www.elsman.com/mlkit/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
yago-reshttp://yago-knowledge.org/resource/
n17https://global.dbpedia.org/id/
n55https://learnxinyminutes.com/docs/standard-ml/
n32http://www.polyml.org/
n53http://www.mpi-sws.org/~rossberg/hamlet/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
dbpedia-simplehttp://simple.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n26https://smlfamily.github.io/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
n39https://github.com/rossberg/hamlet/tree/
n15http://www.elsman.com/mlkit/
n12http://www.w3.org/2006/03/wn/wn20/instances/
freebasehttp://rdf.freebase.com/ns/
dbpedia-eshttp://es.dbpedia.org/resource/
dbpedia-kahttp://ka.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Standard_ML
rdf:type
owl:Thing yago:Abstraction100002137 yago:WikicatFunctionalLanguages yago:Language106282651 dbo:Language dbo:ProgrammingLanguage wikidata:Q315 yago:ProgrammingLanguage106898352 yago:WikicatProgrammingLanguagesCreatedIn1990 yago:WikicatProgrammingLanguages wikidata:Q9143 yago:ArtificialLanguage106894544 schema:Language yago:Communication100033020
rdfs:label
ML Estàndard أم أل المعيارية Standard ML Standard ML 표준 ML Standard ML Standard ML Standard ML Standard ML Standard ML Standard ML Standard ML Standard ML Standard ML Standard ML Standard ML
rdfs:comment
Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів. SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році. Standard ML (SML) est un langage de programmation généraliste, modulaire, fonctionnel. Il est doté d'un système de typage statique fort par inférence de types. SML descend directement du langage ML. Il existe de nombreuses implémentations de SML, dont le Standard ML of New Jersey, Concurrent ML, MLton, MLWorks, Moscow ML et Poly/ML. * Portail de la programmation informatique 표준 ML(Standard ML, SML)은 정적 정형 및 타입 추론을 지원하는 범용 모듈성, 함수형 프로그래밍 언어. 컴파일러 개발과 프로그래밍 언어 연구, 자동 정리 증명의 개발에 사용된다. SML은 계산가능한 함수의 정리 증명 프로젝트에서 사용되는 프로그래밍 언어인 ML의 현대적 방언이다. The Definition of Standard ML에서 과 을 포함하는 표준이 있다는 점에서 널리 사용되는 언어들 사이에서 두드러집니다. أم ال المعيارية ( SML ) Standard ML هي لغة برمجة للأغراض العامة، لغة معيارية و وظيفية مع تجميع زمني ذو اختبار للتنويع البرمجي. وهي تحظى بشعبية كبيرة بين كتاب المجمّعات والباحثين في لغة البرمجة، وكذلك في تطوير . SML هي لهجة حديثة لـ ML ، لغة البرمجة المستخدمة في مشروع إثبات نظرية المنطق للوظائف (الدوال) الحسابية (LCF). وهي مميزة بين اللغات المستخدمة على نطاق واسع من حيث أنها تحتوي على مواصفات قياسية، مقدمة كقواعد كتابة ودلالات تشغيلية في تعريف ML القياسي . Standard ML (SML) é uma linguagem de programação funcional de propósito geral modular com verificação e inferência de tipos em tempo de compilação. É popular entre pesquisadores de linguagem de programação e compiladores. SML é uma descendente moderno da linguagem ML utilizada em lógica de funções computáveis (LCF). Distingue-se das outras linguagens utilizadas atualmente devido sua característica funcional e devido sua especificação formal, dado como escrever regras e semântica operacional na definição da Standard ML. Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving 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. L'ML Estàndard, conegut per les sigles SML, de l'anglès Standard ML, és un llenguatge de programació funcional per a aplicacions de tota mena, amb comprovació de tipus en temps de compilació, i . É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". Standard ML (SML; angle Standard Meta Language) estas ĝeneralcela, , funkcia programlingvo kun kaj . Ĝi popularas inter skribistoj de tradukiloj kaj , kaj ankaŭ ĉe la ellaborado de . SML estas moderna dialekto de ML, la programlingvo uzita en la teorempruvila projekto (LCF). Ĝi distingindas inter vaste uzataj lingvoj pro tio, ke ĝi havas formalan specifigon, donitan kiel kaj en The Definition of Standard ML (1990, reviziita kaj simpligita kiel The Definition of Standard ML (Revised) en 1997). Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、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. 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. Standard ML (SML) je staticky orientovaný typově bezpečný univerzální programovací jazyk, který ztělesňuje mnoho nápadů v oblasti návrhů a implementace programovacích jazyků. Podporuje polymorfní inference typů a automaticky zajišťuje efektivní správu paměti. Podporuje funkcionální programování, ale zároveň umožňuje imperativní programování. Usnadňuje programování s rekurzí a symbolických datových struktur skrze podporu šablon (angl. „“). Tento jazyk je vybaven rozšiřitelným mechanismem pro manipulaci výjimek a poskytuje flexibilní modulovací prostředky pro strukturování velkých programů. Většina implementací nabízí rozsáhlé knihovny a užitečné vývojové nástroje. Téměř všechny kompilátory generují nativní strojový kód, a to i při interaktivním režimu interpreta. Jazyk je populární mezi inf Standard ML（SML），是一个函数式、指令式、模块化的通用的编程语言，具有编译时间类型检查和类型推论。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。 Standard ML是ML的现代方言，ML是用于（可计算函数逻辑）定理证明计划的编程语言。Standard ML在广泛使用的语言之中与众不同，源于它具有正式规定《The Definition of Standard ML》，给出了语言的和操作语义。 Standard ML (SML) — компилируемый язык программирования общего назначения , основанный на системе типов Хиндли — Милнера. Отличается математически точным определением (гарантирующим идентичность смысла программ вне зависимости от компилятора и аппаратного обеспечения), имеющим доказанную надёжность статической и динамической семантики. Является «в основном функциональным» языком, то есть поддерживает большинство технических свойств функциональных языков, но также предоставляет развитые возможности императивного программирования при необходимости. Сочетает устойчивость программ, гибкость на уровне динамически типизируемых языков и быстродействие на уровне языка Си; обеспечивает превосходную поддержку как быстрого прототипирования, так и модульности и . In informatica, SML (Standard ML) è un linguaggio di programmazione derivato dal ML. Il linguaggio 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, i . W 1997 roku powstał aktualny standard języka. Został on opracowany przez Milnera, i oraz . Podobnym językiem jest OCaml.
foaf:name
Standard ML
dbp:name
Standard ML
dcterms:subject
dbc:Functional_languages dbc:Programming_languages_created_in_1990 dbc:Procedural_programming_languages dbc:ML_programming_language_family
dbo:wikiPageID
100337
dbo:wikiPageRevisionID
1113315274
dbo:wikiPageWikiLink
dbr:ML_(programming_language) dbr:Typing_rule dbr:LEGO_(proof_assistant) dbr:Incremental_compiler dbr:Tail_call dbr:MLton dbr:Twelf dbr:Abstract_data_type dbr:.NET_Framework dbr:LLVM dbr:Expression_problem dbr:Concurrent_ML dbr:Constraint_programming dbc:Functional_languages dbr:IT_University_of_Copenhagen dbr:Programming_paradigm dbr:Anonymous_function dbr:Program_optimization dbr:TypeScript dbr:Prolog dbr:Read–eval–print_loop dbr:Pascal_(programming_language) dbr:Type_checking dbr:Disjoint_union dbr:Interprocedural_optimization dbr:Unit_type dbr:Hello,_world! dbr:Xanalys dbr:Functional_programming dbr:F*_(programming_language) dbr:Non-local_exit dbr:Side_effect_(computer_science) dbr:Closure_(computer_programming) dbr:Declarative_programming dbr:Logic_for_Computable_Functions dbr:Queue_(data_structure) dbr:Isabelle_(proof_assistant) dbr:Partial_function dbr:Pattern_matching dbr:Enterprise_architecture dbr:Cairo_(graphics) dbc:Programming_languages_created_in_1990 dbr:Common_Lisp dbr:Hindley–Milner_type_inference dbr:General-purpose_programming_language dbr:Algebraic_datatype dbr:Scala_(programming_language) dbr:Plane_(geometry) dbr:Namespace dbr:Adapter_pattern dbr:Remote_procedure_call dbr:Dependent_ML dbr:Type_system dbr:Imperative_programming dbr:OCaml dbr:Currying dbr:Harlequin_(software_company) dbr:Class_hierarchies dbr:Breadth-first_search dbr:Lazy_evaluation dbr:Alice_(programming_language) dbr:Poplog dbr:Region-based_memory_management dbr:Strong_typing dbr:Rust_(programming_language) dbr:HOL_(proof_assistant) dbr:Modular_programming dbr:Python_(programming_language) dbr:Tagged_union dbr:Heron's_formula dbr:Generic_programming dbr:Automated_theorem_proving dbr:Typed_assembly_language dbr:Distributed_computing dbr:Proof_assistant dbr:Standard_ML_of_New_Jersey dbr:Type_inference dbc:Procedural_programming_languages dbr:Haskell_(programming_language) dbr:Operational_semantics dbr:Asymptotic_analysis dbr:Clausal_function_definition dbr:Data_abstraction dbr:Machine_epsilon dbr:Expression_(programming) dbr:Intermediate_representation dbr:Function_(programming) dbr:Functional_programming_language dbr:Static_program_analysis dbc:ML_programming_language_family dbr:Hope_(programming_language) dbr:JEdit dbr:Closed_world_assumption dbr:Compiler dbr:Futures_and_promises dbr:Syntactic_sugar dbr:Caml dbr:Common_language_runtime dbr:Integrated_circuit_design dbr:F_Sharp_(programming_language) dbr:Interface_(computer_science) dbr:Elm_(programming_language) dbr:State_(computer_science) dbr:ARM_architecture dbr:Arity dbr:Programming_language dbr:Open-source_license dbr:Linked_list dbr:POP-11 dbr:Programming_language_research
dbo:wikiPageExternalLink
n8: n9:book.pdf n14:SOSML n15: n19:Standard_ML n23:isabelle.in.tum.de n25:Successor-ML n26:sml97-defn.pdf n32: n33: n38: n39:succ n40:tilt.html n42:README.html. n37: n49:mosml.html n50: n23:www.mlton.org n53: n55: n56:sml.html n56: n56:sml97.html n23:sml-family.org n61:notes.html
owl:sameAs
dbpedia-da:Standard_ML dbpedia-cs:Standard_ML n17:4ngdm n20:Standard_ML dbpedia-ru:Standard_ML dbpedia-pl:Standard_ML dbpedia-ko:표준_ML dbpedia-ar:أم_أل_المعيارية dbpedia-eo:Standard_ML dbpedia-it:Standard_ML dbpedia-ca:ML_Estàndard wikidata:Q597330 dbpedia-de:Standard_ML yago-res:Standard_ML dbpedia-simple:Standard_ML n45:4295302-9 dbpedia-fr:Standard_ML dbpedia-fa:استاندارد_ام‌ال dbpedia-tr:Standart_ML dbpedia-uk:Standard_ML dbpedia-es:Standard_ML dbpedia-hu:SML n59:സ്റ്റാൻഡേർഡ്_എംഎൽ dbpedia-ja:Standard_ML dbpedia-pt:Standard_ML freebase:m.0pkgc dbpedia-zh:Standard_ML dbpedia-ka:Standard_ML
dbp:wikiPageUsesTemplate
dbt:How-to dbt:Short_description dbt:Start_date_and_age dbt:Main dbt:Multiple_issues dbt:Refs dbt:Authority_control dbt:Programming_languages dbt:Unreferenced_section dbt:Wikibook dbt:Code dbt:Webarchive dbt:Infobox_programming_language dbt:Citation_needed
dbp:date
2016-01-07 2020-02-20
dbp:family
dbr:ML_(programming_language)
dbp:implementations
dbr:MLton dbr:Standard_ML_of_New_Jersey
dbp:influenced
dbr:F*_(programming_language) dbr:F_Sharp_(programming_language) dbr:OCaml dbr:Python_(programming_language) dbr:Rust_(programming_language) dbr:Scala_(programming_language) dbr:Haskell_(programming_language) dbr:Elm_(programming_language)
dbp:influencedBy
dbr:Pascal_(programming_language) dbr:Hope_(programming_language) dbr:ML_(programming_language)
dbp:latestReleaseVersion
Standard ML '97
dbp:paradigm
dbr:Programming_paradigm dbr:Imperative_programming dbr:Functional_programming dbr:Modular_programming
dbp:typing
dbr:Type_inference dbr:Strong_typing dbr:Type_system
dbp:url
n37: n8:
dbo:abstract
أم ال المعيارية ( SML ) Standard ML هي لغة برمجة للأغراض العامة، لغة معيارية و وظيفية مع تجميع زمني ذو اختبار للتنويع البرمجي. وهي تحظى بشعبية كبيرة بين كتاب المجمّعات والباحثين في لغة البرمجة، وكذلك في تطوير . SML هي لهجة حديثة لـ ML ، لغة البرمجة المستخدمة في مشروع إثبات نظرية المنطق للوظائف (الدوال) الحسابية (LCF). وهي مميزة بين اللغات المستخدمة على نطاق واسع من حيث أنها تحتوي على مواصفات قياسية، مقدمة كقواعد كتابة ودلالات تشغيلية في تعريف ML القياسي . Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。 Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів. SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році. 표준 ML(Standard ML, SML)은 정적 정형 및 타입 추론을 지원하는 범용 모듈성, 함수형 프로그래밍 언어. 컴파일러 개발과 프로그래밍 언어 연구, 자동 정리 증명의 개발에 사용된다. SML은 계산가능한 함수의 정리 증명 프로젝트에서 사용되는 프로그래밍 언어인 ML의 현대적 방언이다. The Definition of Standard ML에서 과 을 포함하는 표준이 있다는 점에서 널리 사용되는 언어들 사이에서 두드러집니다. Standard ML (SML; angle Standard Meta Language) estas ĝeneralcela, , funkcia programlingvo kun kaj . Ĝi popularas inter skribistoj de tradukiloj kaj , kaj ankaŭ ĉe la ellaborado de . SML estas moderna dialekto de ML, la programlingvo uzita en la teorempruvila projekto (LCF). Ĝi distingindas inter vaste uzataj lingvoj pro tio, ke ĝi havas formalan specifigon, donitan kiel kaj en The Definition of Standard ML (1990, reviziita kaj simpligita kiel The Definition of Standard ML (Revised) en 1997). In informatica, SML (Standard ML) è un linguaggio di programmazione derivato dal ML. Il linguaggio 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). Il linguaggio SML è un linguaggio funzionale, quindi avente la caratteristica di rendere facile ed efficiente la creazione e l'uso di funzioni specializzate. 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 è o parallelo. Altri elementi comuni a Lisp e Scheme sono la presenza del garbage collector e di strutture di dati 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) – 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, i . W 1997 roku powstał aktualny standard języka. Został on opracowany przez Milnera, i oraz . Podobnym językiem jest OCaml. Standard ML（SML），是一个函数式、指令式、模块化的通用的编程语言，具有编译时间类型检查和类型推论。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。 Standard ML是ML的现代方言，ML是用于（可计算函数逻辑）定理证明计划的编程语言。Standard ML在广泛使用的语言之中与众不同，源于它具有正式规定《The Definition of Standard ML》，给出了语言的和操作语义。 Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving 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. 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. Standard ML (SML) est un langage de programmation généraliste, modulaire, fonctionnel. Il est doté d'un système de typage statique fort par inférence de types. SML descend directement du langage ML. Il existe de nombreuses implémentations de SML, dont le Standard ML of New Jersey, Concurrent ML, MLton, MLWorks, Moscow ML et Poly/ML. * Portail de la programmation informatique L'ML Estàndard, conegut per les sigles SML, de l'anglès Standard ML, és un llenguatge de programació funcional per a aplicacions de tota mena, amb comprovació de tipus en temps de compilació, i . É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 què 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. 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 sogenannte 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. Standard ML (SML) — компилируемый язык программирования общего назначения , основанный на системе типов Хиндли — Милнера. Отличается математически точным определением (гарантирующим идентичность смысла программ вне зависимости от компилятора и аппаратного обеспечения), имеющим доказанную надёжность статической и динамической семантики. Является «в основном функциональным» языком, то есть поддерживает большинство технических свойств функциональных языков, но также предоставляет развитые возможности императивного программирования при необходимости. Сочетает устойчивость программ, гибкость на уровне динамически типизируемых языков и быстродействие на уровне языка Си; обеспечивает превосходную поддержку как быстрого прототипирования, так и модульности и . SML был первым самостоятельным компилируемым языком в семействе ML и до сих пор служит опорным языком в сообществе по развитию ML. В SML впервые была реализована уникальная аппликативная система модулей — язык модулей ML. Standard ML (SML) é uma linguagem de programação funcional de propósito geral modular com verificação e inferência de tipos em tempo de compilação. É popular entre pesquisadores de linguagem de programação e compiladores. SML é uma descendente moderno da linguagem ML utilizada em lógica de funções computáveis (LCF). Distingue-se das outras linguagens utilizadas atualmente devido sua característica funcional e devido sua especificação formal, dado como escrever regras e semântica operacional na definição da Standard ML. Standard ML (SML) je staticky orientovaný typově bezpečný univerzální programovací jazyk, který ztělesňuje mnoho nápadů v oblasti návrhů a implementace programovacích jazyků. Podporuje polymorfní inference typů a automaticky zajišťuje efektivní správu paměti. Podporuje funkcionální programování, ale zároveň umožňuje imperativní programování. Usnadňuje programování s rekurzí a symbolických datových struktur skrze podporu šablon (angl. „“). Tento jazyk je vybaven rozšiřitelným mechanismem pro manipulaci výjimek a poskytuje flexibilní modulovací prostředky pro strukturování velkých programů. Většina implementací nabízí rozsáhlé knihovny a užitečné vývojové nástroje. Téměř všechny kompilátory generují nativní strojový kód, a to i při interaktivním režimu interpreta. Jazyk je populární mezi informatiky, kteří kompilátory navrhují a nebo implementují. SML je moderní potomek programovacího jazyka ML, který byl poprvé navržen k práci na projektu „ (LCF)“ k dokazování teorémů. Zkratka "ML" je odvozená z anglického „“, což přeloženo do češtiny znamená „meta jazyk“ a je výrazem z oblasti jazykové logiky. V němž jsou analyzovány i jiné jazyky (formální nebo neformální). V roce 1983, Milner napsal první návrh standardizované formy ML a během následujících tří let se vyvinul jazyk Standard ML.
dbp:dialects
dbr:Dependent_ML dbr:Concurrent_ML dbr:Alice_(programming_language)
dbp:fileExt
.sml
gold:hypernym
dbr:Language
dbp:wordnet_type
n12:synset-programming_language-noun-1
prov:wasDerivedFrom
wikipedia-en:Standard_ML?oldid=1113315274&ns=0
dbo:wikiPageLength
32421
dbo:latestReleaseVersion
Standard ML '97
dbo:influenced
dbr:F_Sharp_(programming_language) dbr:Scala_(programming_language) dbr:OCaml dbr:Elm_(programming_language) dbr:Rust_(programming_language) dbr:Haskell_(programming_language) dbr:F*_(programming_language) dbr:Python_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language) dbr:Pascal_(programming_language) dbr:Hope_(programming_language)
foaf:isPrimaryTopicOf
wikipedia-en:Standard_ML