| rdfs:comment
| - أم ال المعيارية ( SML ) Standard ML هي لغة برمجة للأغراض العامة، لغة معيارية و وظيفية مع تجميع زمني ذو اختبار للتنويع البرمجي. وهي تحظى بشعبية كبيرة بين كتاب المجمّعات والباحثين في لغة البرمجة، وكذلك في تطوير . SML هي لهجة حديثة لـ ML ، لغة البرمجة المستخدمة في مشروع إثبات نظرية المنطق للوظائف (الدوال) الحسابية (LCF). وهي مميزة بين اللغات المستخدمة على نطاق واسع من حيث أنها تحتوي على مواصفات قياسية، مقدمة كقواعد كتابة ودلالات تشغيلية في تعريف ML القياسي . (ar)
- 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). (eo)
- 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. (es)
- 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 (fr)
- 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. (en)
- 표준 ML(Standard ML, SML)은 정적 정형 및 타입 추론을 지원하는 범용 모듈성, 함수형 프로그래밍 언어. 컴파일러 개발과 프로그래밍 언어 연구, 자동 정리 증명의 개발에 사용된다. SML은 계산가능한 함수의 정리 증명 프로젝트에서 사용되는 프로그래밍 언어인 ML의 현대적 방언이다. The Definition of Standard ML에서 과 을 포함하는 표준이 있다는 점에서 널리 사용되는 언어들 사이에서 두드러집니다. (ko)
- 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. (pl)
- Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。 (ja)
- 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. (pt)
- Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів. SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році. (uk)
- Standard ML（SML），是一个函数式、指令式、模块化的通用的编程语言，具有编译时间类型检查和类型推论。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。 Standard ML是ML的现代方言，ML是用于（可计算函数逻辑）定理证明计划的编程语言。Standard ML在广泛使用的语言之中与众不同，源于它具有正式规定《The Definition of Standard ML》，给出了语言的和操作语义。 (zh)
- 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". (ca)
- 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 (cs)
- 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. (de)
- 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). (it)
- Standard ML (SML) — компилируемый язык программирования общего назначения , основанный на системе типов Хиндли — Милнера. Отличается математически точным определением (гарантирующим идентичность смысла программ вне зависимости от компилятора и аппаратного обеспечения), имеющим доказанную надёжность статической и динамической семантики. Является «в основном функциональным» языком, то есть поддерживает большинство технических свойств функциональных языков, но также предоставляет развитые возможности императивного программирования при необходимости. Сочетает устойчивость программ, гибкость на уровне динамически типизируемых языков и быстродействие на уровне языка Си; обеспечивает превосходную поддержку как быстрого прототипирования, так и модульности и . (ru)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)