This HTML5 document contains 495 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-dehttp://de.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15https://smlfamily.github.io/
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-anhttp://an.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
dbohttp://dbpedia.org/ontology/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-kohttp://ko.dbpedia.org/resource/
schemahttp://schema.org/
n36http://
wikidatahttp://www.wikidata.org/entity/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n27https://global.dbpedia.org/id/
goldhttp://purl.org/linguistics/gold/
n7https://
dbpedia-frhttp://fr.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
n37http://dbpedia.org/resource/Library_of_Congress_Classification:
dbpedia-cahttp://ca.dbpedia.org/resource/
n51http://tg.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-hrhttp://hr.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-shhttp://sh.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
provhttp://www.w3.org/ns/prov#
yago-reshttp://yago-knowledge.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
n25http://www.w3.org/2006/03/wn/wn20/instances/
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dcthttp://purl.org/dc/terms/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-srhttp://sr.dbpedia.org/resource/
n20https://web.archive.org/web/20100218004857/http:/msdn.microsoft.com/en-us/fsharp/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eohttp://eo.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n29https://www.cs.cmu.edu/~rwh/isml/
n47http://msdn.microsoft.com/en-us/fsharp/
dbpedia-fihttp://fi.dbpedia.org/resource/
n26https://github.com/SMLFamily/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-hehttp://he.dbpedia.org/resource/

Statements

Subject Item
dbr:Caml
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:family
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Amiga_programming_languages
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Scala_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:School_of_Informatics,_University_of_Edinburgh
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Enumerated_type
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:List_of_computer_scientists
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:List_of_functional_programming_topics
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Metalanguage_(disambiguation)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:MLisp
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Tail_call
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Principal_type
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Printf_format_string
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Binary_tree
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Bosque_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Declarative_programming
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Alias_analysis
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:List_of_University_of_Edinburgh_people
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Currying
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Ur_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:family
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Value_restriction
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Visual_Studio
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Dynamic_compilation
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Incremental_compiler
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Index_of_computing_articles
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Let_expression
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
n37:Class_Q_--_Science
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:List_of_programming_language_researchers
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:List_of_programming_languages_by_type
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Nuprl
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:ML_(language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:wikiPageRedirects
dbr:ML_(programming_language)
Subject Item
dbr:ML_programming_language
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:wikiPageRedirects
dbr:ML_(programming_language)
Subject Item
dbr:%22Hello,_World!%22_program
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Colon_(punctuation)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Comparison_of_programming_languages_(functional_programming)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Concurrent_ML
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:family
dbr:ML_(programming_language)
Subject Item
dbr:Conditional_(computer_programming)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Constant_(computer_programming)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:SPARC
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Generalized_algebraic_data_type
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Generational_list_of_programming_languages
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Generic_programming
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Orc_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Claire_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Clojure
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Miranda_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Monad_(functional_programming)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Cool_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Operational_semantics
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:F_Sharp_(programming_language)__F%23__1
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Anonymous_function
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Arity
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Lisp_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:influenced
dbr:ML_(programming_language)
Subject Item
dbr:Lua_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Luca_Cardelli
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:ML_(programming_language)
rdf:type
wikidata:Q9143 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:ProgrammingLanguage106898352 yago:WikicatProgrammingLanguagesCreatedInThe1970s yago:WikicatProgrammingLanguages yago:WikicatProgrammingLanguagesCreatedIn1973 dbo:Language dbo:ProgrammingLanguage schema:Language yago:Communication100033020 wikidata:Q315 owl:Thing yago:Language106282651 yago:WikicatFunctionalLanguages
rdfs:label
ML (Programmiersprache) ML (programspråk) ML (langage) ML ML (linguaggio di programmazione) ML (プログラミング言語) ML (프로그래밍 언어) ML (programlingvo) ML Meta Language ML (linguagem de programação) ML ML语言 ML (γλώσσα προγραμματισμού) ML (programming language) ML (programmeertaal) أم أل (لغة برمجة) ML (lenguaje de programación)
rdfs:comment
ML은 범용 프로그래밍 언어의 일종이다. 프로그래밍 언어 분야의 핵심 연구 성과들을 잘 반영하면서도 실용적인 언어로 알려져 있다. 특히, 안전한 타입 시스템을 갖추고 있어 프로그램을 실행하는 중에 나올 수 있는 타입 에러를 실행하기 전에 미리 모두 찾아준다. 힌들리-밀너(Hindley-Milner) 타입 추론 시스템을 구현하여 자바와 같은 길고 불편한 자료형(타입) 표기 없이도 변수들의 자료형을 추론할 수 있다. ML은 하스켈과 같은 순수한 함수형 언어와 같이 함수가 자유롭게 사용될 수 있으면서도, 메모리 상태를 변화시키는 함수를 허용하는 함수형 프로그래밍 언어의 모습도 갖추고 있다. 이 때문에 함수형 언어이면서 순수하지 않은 함수형 언어로 분류한다. 그밖에 ML에는 이런 특징이 있다. ML 프로그래밍 시스템은 다양한 종류가 있다. (Standard ML)과 이 가장 널리 알려진 것이며, F# 등 다른 언어들도 존재한다. 한국에서 개발된 ML 프로그래밍 시스템으로는 KAIST에서 개발하였고 현재는 서울대에서 확장·관리하고 있는 nML이 있다. ML의 기본 아이디어는 C#, 자바, 하스켈, , 등 많은 언어에 영향을 미쳤다. أم أل (بالإنجليزية: ML)‏ (اختصار لغة ميتا) هي لغة برمجة وظيفية عامة الأغراض. ظهرت سنة 1973 Meta Language, ML – rodzina funkcyjnych języków programowania, które charakteryzują się statycznym, silnym typowaniem. Jako jeden z pierwszych języków udostępniał typy polimorficzne. Został zaprojektowany m.in. przez Robina Milnera w roku 1973 i był częścią większego projektu LCF (Logic for Computable Functions). Zadaniem LCF było automatyczne dowodzenie poprawności funkcyjnych programów, języka ML używano właśnie do zapisu tych programów. Stąd też obecnie ML jest stosowany m.in. do automatycznego dowodzenia twierdzeń i poprawności programów, a także szybkiego prototypowania. ML (angle Meta Language) estas ĝeneralcela funkcia programlingvoj. Ĝi radikas el Lisp, kaj taksitas kiel “Lisp kun tipoj”. Ĝi famas pro sia uzo de plurforma , kiu aŭtomate asignas la tipojn de la plejmulto de sen postuli eksplicitajn tipnotojn, kaj certigas tipsekurecon – estas formala pruvo, ke bontipa ML-programo ne kaŭzas dumrulajn tiperarojn. ML provizas modelkongruigon por funkciargumentoj, , , kaj . Ĝi forte uzatas ĉe programlingva esplorado kaj estas unu el la malmultaj lingvoj tute specifigitaj kaj kontrolitaj per uzo de . Ĝiaj tipoj kaj modelkongruadoj igas ĝin bonsitua kaj ofte uzata por operacii sur aliaj formalaj lingvoj, kiel ĉe , kaj . ML(えむえる、Meta-Language)は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。 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 in Saarbrücken ontwikkelt momenteel een ML-dialect genaamd Alice, waarin onder andere (op meerdere processors of machines tegelijk) en mogelijk zijn. 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ür Dateizugriffe. ML è un linguaggio di programmazione funzionale general purpose sviluppato dall'équipe di Robin Milner presso l'Università di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad . Storicamente, ML sta per MetaLanguage (metalinguaggio) visto che era nato per la verifica formale attraverso il theorem prover (il linguaggio di cui ML rappresentava il livello meta era , una combinazione di calcolo dei predicati del primo ordine e lambda-calcolo polimorfico debolmente tipizzato). Tra i linguaggi di programmazione funzionali è tra i più noti per il suo utilizzo dell'algoritmo di inferenza dei tipi di Hindley-Milner, che riesce ad inserire quasi tutti i tipi senza bisogno di dichiarazioni. ML es un lenguaje de programación de propósito general de la familia de los lenguajes de programación funcional desarrollado por Robin Milner y otros a finales de los años 1970 en la Universidad de Edimburgo. ML es el acrónimo inglés de metalenguaje dado que fue concebido como el lenguaje para desarrollar tácticas de demostración en el sistema LCF (El lenguaje para el cual ML era metalenguaje es pplambda, una combinación del y el lambda-cálculo polimórfico sencillamente tipificado). ML és un llenguatge de programació funcional desenvolupat per Robin Milner i altres a finals del 1970 a la Universitat d'Edimburg amb una sintaxi inspirada en el llenguatge abstracte que ha donat lloc a una família de llenguatges. Històricament les sigles ML es refereixen a MetaLlenguatge. És conegut per l'ús que fa de l'algorisme d'inferència de tipus . ML (Meta Language) — сімейство строго типізованих мов функціонального програмування з розвиненою поліморфною системою типів і модулями що параметризуються. Подібна система типів була раніше запропонована Роджером Гіндлі у 1969 році і зараз[коли?] часто називається системою Гіндлі-Мілнера. Мови даного сімейства не є чистими функціональними мовами, тому що включають і імперативні інструкції. ML викладається у багатьох західних університетах (в деяких навіть як перша мова програмування). ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями. Подобная система типов была раньше предложена в 1969 году и сейчас часто называется системой Хиндли-Милнера. Языки данного семейства в большинстве своём не являются чистыми функциональными языками, так как включают и императивные инструкции (но есть исключения — например, Manticore). ML преподаётся во многих западных университетах (в некоторых даже как первый язык программирования). ML(Meta Language:元语言),是一个函数式、指令式的通用的编程语言,它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数的类型,不要求显式的类型标注,而且能够确保类型安全,已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。 ML提供了对函数实际参数的模式匹配、垃圾回收、指令式编程、传值调用和柯里化。它被大量的用于编程语言研究之中,并且是全面规定了的和使用形式语义验证了的少数语言之一。它的类型和模式匹配使得它非常适合并且经常用于在其他形式语言上进行操作,比如在编译器构造、自动化定理证明和形式验证中。 ML är ett allmänt funktionellt programspråk som utvecklades av med flera i slutet av 1970-talet vid University of Edinburgh, vars syntax inspirerats av . Historiskt står ML för metalanguage (engelska: "metaspråk") eftersom det utvecklades som stödspråk för . ML är känt för sitt bruk av Hindley-Milners , som kan härleda datatypen hos de flesta i ett program. Detta är i kontrast med de nödvändiga utförliga deklarationerna som kritiserats i språk som Java. Ibland kallas ML även för SML(Standard ML). Η ML είναι μια συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης, που αναπτύχθηκε από τον Ρόμπιν Μίλνερ και άλλους στο τέλος της δεκαετίας του 1970 στο πανεπιστήμιο του Εδιμβούργου. Ξεκίνησε ως μέτα-γλώσσα (εξού και το όνομα Meta-Language) για διαδραστικές αποδείξεις στο σύστημα Edinburgh LCF (τα αρχικά για "Logic for Computable Functions" - λογική για υπολογίσιμες συναρτήσεις) και εξελίχθηκε σε γενικής χρήσης γλώσσα προγραμματισμού για να καλύψει τις ανάγκες αυτής της εφαρμογής. ML é uma linguagem de programação funcional de proposta geral desenvolvida por Robin Milner e outros no final dos anos 1970 na Universidade de Edimburgo, cuja sintaxe foi inspirada pelo . É considerada uma linguagem funcional impura, por permitir a programação imperativa, ao contrário de outras linguagens funcionais como Haskell. ML (Meta Language) is a general-purpose functional programming language. It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safety – there is a formal proof that a well-typed ML program does not cause runtime type errors. ML provides pattern matching for function arguments, garbage collection, imperative programming, call-by-value and currying. It is used heavily in programming language research and is one of the few languages to be completely specified and verified using formal semantics. Its types and pattern matching make it well-suited and commonly used to operate on other formal languages, such as in compiler writing, automated theorem proving, an ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.
foaf:name
ML
dbp:name
ML
dct:subject
dbc:Academic_programming_languages dbc:Statically_typed_programming_languages dbc:ML_programming_language_family dbc:Functional_languages dbc:Pattern_matching_programming_languages dbc:Programming_languages_created_in_1973 dbc:Procedural_programming_languages
dbo:wikiPageID
20607
dbo:wikiPageRevisionID
1106423335
dbo:wikiPageWikiLink
dbc:Statically_typed_programming_languages dbr:Purely_functional_language dbr:Currying dbr:Call-by-value dbr:Compiler_writing dbr:Recursion_(computer_science) dbr:Exception_handling dbr:Opa_(programming_language) dbr:Static_typing dbc:ML_programming_language_family dbr:Pattern_matching dbr:Kotlin_(programming_language) dbr:Formal_semantics_of_programming_languages dbr:Closure_(computer_science) dbr:Formal_verification dbr:Scope_(computer_science) dbr:Scala_(programming_language) dbr:Elm_(programming_language) dbr:Polymorphism_(computer_science) dbr:Imperative_programming dbr:Tail_call dbr:Linear_time dbr:Standard_ML dbr:Nemerle dbr:First-order_logic dbr:Data_type dbr:Generic_programming dbr:Lazy_evaluation dbr:University_of_Edinburgh dbr:Eager_evaluation dbr:Mads_Tofte dbr:TypeScript dbr:Type_system dbr:PAL_(programming_language) dbr:Dependent_ML dbr:Rust_(programming_language) dbr:Logic_for_Computable_Functions dbr:Call_stack dbc:Pattern_matching_programming_languages dbr:Factorial dbc:Functional_languages dbr:First-class_function dbr:Side-effect_(computer_science) dbr:Quadratic_time dbr:Lazy_ML dbr:Automated_theorem_proving dbr:Jeffrey_D._Ullman dbr:ECMAScript dbr:ISWIM dbr:Cyclone_(programming_language) dbr:C++ dbr:ATS_(programming_language) dbr:Type_inference dbr:.NET_Framework dbr:Infinite_descending_chain dbr:Multi-paradigm_programming_language dbr:API dbr:Idris_(programming_language) dbr:Functional_programming dbr:Clojure dbr:Lisp_(programming_language) dbr:Miranda_(programming_language) dbr:Erlang_(programming_language) dbr:F*_(programming_language) dbr:Haskell_(programming_language) dbr:Robert_Harper_(computer_scientist) dbr:Parametric_polymorphism dbr:CoffeeScript dbr:Interface_(Java) dbr:Algebraic_data_types dbr:Robin_Milner dbr:Lambda_calculus dbr:OCaml dbr:Lawrence_Paulson dbr:Hindley–Milner_type_system dbr:F_Sharp_(programming_language) dbc:Programming_languages_created_in_1973 dbr:Bioinformatics dbr:Evaluation_strategy dbr:Expression_(programming) dbr:General_purpose_programming_language dbc:Procedural_programming_languages dbr:Garbage_collection_(computer_science) dbr:Coq dbr:Strong_typing dbc:Academic_programming_languages
dbo:wikiPageExternalLink
n7:cakeml.org n15:sml97-defn.pdf n26:Successor-ML n29:book.pdf n36:mlton.org n36:smlnj.org n47:default.aspx n20:default.aspx
owl:sameAs
dbpedia-tr:ML_(programlama_dili) dbpedia-el:ML_(γλώσσα_προγραμματισμού) dbpedia-de:ML_(Programmiersprache) dbpedia-nl:ML_(programmeertaal) dbpedia-sh:ML_(programski_jezik) dbpedia-fi:ML_(ohjelmointikieli) dbpedia-he:ML_(שפת_תכנות) dbpedia-sr:ML_(programski_jezik) dbpedia-eo:ML_(programlingvo) dbpedia-pl:Meta_Language n27:51iCo dbpedia-fa:ام‌ال dbpedia-it:ML_(linguaggio_di_programmazione) dbpedia-ca:ML dbpedia-sv:ML_(programspråk) dbpedia-ko:ML_(프로그래밍_언어) dbpedia-an:ML dbpedia-ja:ML_(プログラミング言語) dbpedia-no:MetaLanguage dbpedia-pt:ML_(linguagem_de_programação) dbpedia-ar:أم_أل_(لغة_برمجة) freebase:m.055mc dbpedia-fr:ML_(langage) dbpedia-ru:ML dbpedia-hu:ML_(programozási_nyelv) wikidata:Q860654 n51:ML dbpedia-zh:ML语言 dbpedia-hr:ML_(programski_jezik) dbpedia-es:ML_(lenguaje_de_programación) yago-res:ML_(programming_language) dbpedia-uk:ML
dbp:wikiPageUsesTemplate
dbt:ISBN dbt:Snd dbt:Programming_languages dbt:! dbt:Short_description dbt:Other_uses dbt:More_citations_needed dbt:Reflist dbt:Start_date_and_age dbt:Cite_book dbt:Infobox_programming_language dbt:Authority_control dbt:Webarchive dbt:Section_link
dbp:date
2010-02-18
dbp:designer
Robin Milner and others at the University of Edinburgh
dbp:influenced
dbr:Cyclone_(programming_language) dbr:Opa_(programming_language) dbr:Idris_(programming_language) dbr:Elm_(programming_language) dbr:Kotlin_(programming_language) dbr:Haskell_(programming_language) dbr:Erlang_(programming_language) dbr:F*_(programming_language) dbr:Nemerle dbr:Rust_(programming_language) dbr:F_Sharp_(programming_language) dbr:C++ dbr:Standard_ML dbr:Coq dbr:OCaml dbr:Miranda_(programming_language) dbr:Clojure dbr:Scala_(programming_language)
dbp:influencedBy
dbr:ISWIM
dbp:paradigm
dbr:Functional_programming dbr:Imperative_programming dbr:Generic_programming dbr:Multi-paradigm_programming_language
dbp:typing
dbr:Static_typing dbr:Strong_typing dbr:Type_inference
dbp:url
n20:default.aspx
dbo:abstract
ML (Meta Language) — сімейство строго типізованих мов функціонального програмування з розвиненою поліморфною системою типів і модулями що параметризуються. Подібна система типів була раніше запропонована Роджером Гіндлі у 1969 році і зараз[коли?] часто називається системою Гіндлі-Мілнера. Мови даного сімейства не є чистими функціональними мовами, тому що включають і імперативні інструкції. ML викладається у багатьох західних університетах (в деяких навіть як перша мова програмування). Meta Language, ML – rodzina funkcyjnych języków programowania, które charakteryzują się statycznym, silnym typowaniem. Jako jeden z pierwszych języków udostępniał typy polimorficzne. Został zaprojektowany m.in. przez Robina Milnera w roku 1973 i był częścią większego projektu LCF (Logic for Computable Functions). Zadaniem LCF było automatyczne dowodzenie poprawności funkcyjnych programów, języka ML używano właśnie do zapisu tych programów. Stąd też obecnie ML jest stosowany m.in. do automatycznego dowodzenia twierdzeń i poprawności programów, a także szybkiego prototypowania. Rozwinęło się wiele dialektów języka, m.in. Ocaml (włączający do języka elementy programowania obiektowego), Concurrent ML (wspierający programowanie współbieżne) czy Lazy ML (który w odróżnieniu od innych dialektów stosuje leniwą ewaluację). W roku 1984 z inicjatywy Robina Milnera ustandaryzowano język ML tworząc dialekt Standard ML. Istnieje kilkanaście implementacji tego dialektu, m.in. Moscow ML, Stanford ML i SML97. W roku 2000 standard został poprawiony, czego efektem było powstanie ML-2000. ML es un lenguaje de programación de propósito general de la familia de los lenguajes de programación funcional desarrollado por Robin Milner y otros a finales de los años 1970 en la Universidad de Edimburgo. ML es el acrónimo inglés de metalenguaje dado que fue concebido como el lenguaje para desarrollar tácticas de demostración en el sistema LCF (El lenguaje para el cual ML era metalenguaje es pplambda, una combinación del y el lambda-cálculo polimórfico sencillamente tipificado). Frecuentemente se clasifica a ML como un lenguaje funcional impuro dado que permite programar imperativamente con efecto colateral, a diferencia de otros lenguajes de programación funcional, tales como Haskell. Entre las características de ML se incluyen , , manejo automatizado de memoria por medio de recolección de basura, polimorfismo parametrizado, , inferencia de tipos, tipos de datos algebraicos, y manejo de excepciones. Esta combinación particular de conceptos hace que sea posible producir una de los mejores compiladores actualmente disponibles[1]. En la actualidad varios lenguajes de la familia ML están disponibles, principalmente Standard ML (SML) y (Ocaml contiene la sintaxis de ML como un subconjunto). Varias ideas aparecidas en ML han influido el diseño de otros lenguajes, tales como y . Los lenguajes de la familia ML se aplican principalmente en diseño y manipulación de lenguajes de programación (compiladores, analizadores, demostradores de teoremas), así como en bioinformática, sistemas financieros, protocolos de sincronización, etc.​ ML és un llenguatge de programació funcional desenvolupat per Robin Milner i altres a finals del 1970 a la Universitat d'Edimburg amb una sintaxi inspirada en el llenguatge abstracte que ha donat lloc a una família de llenguatges. Històricament les sigles ML es refereixen a MetaLlenguatge. És conegut per l'ús que fa de l'algorisme d'inferència de tipus . ML è un linguaggio di programmazione funzionale general purpose sviluppato dall'équipe di Robin Milner presso l'Università di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad . Storicamente, ML sta per MetaLanguage (metalinguaggio) visto che era nato per la verifica formale attraverso il theorem prover (il linguaggio di cui ML rappresentava il livello meta era , una combinazione di calcolo dei predicati del primo ordine e lambda-calcolo polimorfico debolmente tipizzato). Tra i linguaggi di programmazione funzionali è tra i più noti per il suo utilizzo dell'algoritmo di inferenza dei tipi di Hindley-Milner, che riesce ad inserire quasi tutti i tipi senza bisogno di dichiarazioni. أم أل (بالإنجليزية: ML)‏ (اختصار لغة ميتا) هي لغة برمجة وظيفية عامة الأغراض. ظهرت سنة 1973 ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel. ML(Meta Language:元语言),是一个函数式、指令式的通用的编程语言,它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数的类型,不要求显式的类型标注,而且能够确保类型安全,已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。 ML提供了对函数实际参数的模式匹配、垃圾回收、指令式编程、传值调用和柯里化。它被大量的用于编程语言研究之中,并且是全面规定了的和使用形式语义验证了的少数语言之一。它的类型和模式匹配使得它非常适合并且经常用于在其他形式语言上进行操作,比如在编译器构造、自动化定理证明和形式验证中。 Η ML είναι μια συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης, που αναπτύχθηκε από τον Ρόμπιν Μίλνερ και άλλους στο τέλος της δεκαετίας του 1970 στο πανεπιστήμιο του Εδιμβούργου. Ξεκίνησε ως μέτα-γλώσσα (εξού και το όνομα Meta-Language) για διαδραστικές αποδείξεις στο σύστημα Edinburgh LCF (τα αρχικά για "Logic for Computable Functions" - λογική για υπολογίσιμες συναρτήσεις) και εξελίχθηκε σε γενικής χρήσης γλώσσα προγραμματισμού για να καλύψει τις ανάγκες αυτής της εφαρμογής. Τα συναρτησιακά στοιχεία της γλώσσας είναι εμπνευσμένα από την ISWIM και την GEDANKEN, αλλά διαφέρει στον χειρισμό των τύπων, ενώ άλλα στοιχεία της γλώσσας είναι εμπνευσμένα από τη Lisp and την POP2. Το συγκεκριμένο σύστημα αποδείξεων του LCF ήταν το PPLambda, που είναι συνδυασμός του (first-order predicate calculus) και του πολυμορφικού λογισμού λάμδα με απλούς τύπους (simply-typed polymorphic lambda-calculus). Αλλά, σύμφωνα με τον Ρόμπιν Μίλνερ, σχεδόν οποιδήποτε επαγωγικό σύστημα θα είχε οδηγήσει στις ίδιες βασικές αρχές της γλώσσας. Η ML είναι γνωστή για τη χρήση του αλγόριθμου Χίντλεϋ-Μίλνερ για την εξαγωγή τύπων (type inference), που μπορεί να συνάγει αυτόματα τους τύπους των περισσοτέρων εκφράσεων της γλώσσας, χωρίς να χρειάζεται σαφείς προσδιορισμούς τύπων από τον προγραμματιστή. Είναι μία από τις λίγες γλώσσες προγραμματισμού με αυστηρή απόδειξη ότι όλα τα προγράμματα που περνάνε τον έλεγχο τύπων, δεν έχουν σφάλματα κατά την εκτέλεση. ML är ett allmänt funktionellt programspråk som utvecklades av med flera i slutet av 1970-talet vid University of Edinburgh, vars syntax inspirerats av . Historiskt står ML för metalanguage (engelska: "metaspråk") eftersom det utvecklades som stödspråk för . ML är känt för sitt bruk av Hindley-Milners , som kan härleda datatypen hos de flesta i ett program. Detta är i kontrast med de nödvändiga utförliga deklarationerna som kritiserats i språk som Java. Ibland kallas ML även för SML(Standard ML). ML (Meta Language) — семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями. Подобная система типов была раньше предложена в 1969 году и сейчас часто называется системой Хиндли-Милнера. Языки данного семейства в большинстве своём не являются чистыми функциональными языками, так как включают и императивные инструкции (но есть исключения — например, Manticore). ML преподаётся во многих западных университетах (в некоторых даже как первый язык программирования). ML(えむえる、Meta-Language)は、関数型言語のひとつである。現代風の関数型言語としては歴史が古いほうで、型推論機能などを持つが、デフォルトの評価戦略は遅延評価ではなく先行評価で、書き換えが可能なレコード型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。 ML (Meta Language) is a general-purpose functional programming language. It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safety – there is a formal proof that a well-typed ML program does not cause runtime type errors. ML provides pattern matching for function arguments, garbage collection, imperative programming, call-by-value and currying. It is used heavily in programming language research and is one of the few languages to be completely specified and verified using formal semantics. Its types and pattern matching make it well-suited and commonly used to operate on other formal languages, such as in compiler writing, automated theorem proving, and formal verification. ML은 범용 프로그래밍 언어의 일종이다. 프로그래밍 언어 분야의 핵심 연구 성과들을 잘 반영하면서도 실용적인 언어로 알려져 있다. 특히, 안전한 타입 시스템을 갖추고 있어 프로그램을 실행하는 중에 나올 수 있는 타입 에러를 실행하기 전에 미리 모두 찾아준다. 힌들리-밀너(Hindley-Milner) 타입 추론 시스템을 구현하여 자바와 같은 길고 불편한 자료형(타입) 표기 없이도 변수들의 자료형을 추론할 수 있다. ML은 하스켈과 같은 순수한 함수형 언어와 같이 함수가 자유롭게 사용될 수 있으면서도, 메모리 상태를 변화시키는 함수를 허용하는 함수형 프로그래밍 언어의 모습도 갖추고 있다. 이 때문에 함수형 언어이면서 순수하지 않은 함수형 언어로 분류한다. 그밖에 ML에는 이런 특징이 있다. * 메모리 재활용(garbage collection)을 통해서 자동으로 메모리를 관리한다. * 함수의 다형성(polymorphic functions)을 지원하여 타입과 상관 없이 실행할 수 있는 함수를 정의할 수 있다. * 대수적 자료형(algebraic data type)을 지원하여 상위에서 자료구조를 표현할 수 있다. * 값들의 패턴 매칭을 통해 간편하게 조건문을 만들 수 있다. * 간단하고 강력한 예외 시스템으로 프로그램의 실행흐름을 편리하게 기획할 수 있다. ML 프로그래밍 시스템은 다양한 종류가 있다. (Standard ML)과 이 가장 널리 알려진 것이며, F# 등 다른 언어들도 존재한다. 한국에서 개발된 ML 프로그래밍 시스템으로는 KAIST에서 개발하였고 현재는 서울대에서 확장·관리하고 있는 nML이 있다. ML의 기본 아이디어는 C#, 자바, 하스켈, , 등 많은 언어에 영향을 미쳤다. ML은 주로 프로그래밍 언어의 실행기(interpreter)나 번역기(compiler), 프로그램 분석기 등을 개발하고 다루는 데 사용하지만, ML은 본래 범용 프로그래밍 언어이므로 생물정보학, 금융 전산망, P2P 클라이언트/서버 프로그램 등의 개발에도 사용한다. 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 een van de meest efficiënt geïmplementeerde 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#. De in Saarbrücken ontwikkelt momenteel een ML-dialect genaamd Alice, waarin onder andere (op meerdere processors of machines tegelijk) en mogelijk zijn. ML é uma linguagem de programação funcional de proposta geral desenvolvida por Robin Milner e outros no final dos anos 1970 na Universidade de Edimburgo, cuja sintaxe foi inspirada pelo . É considerada uma linguagem funcional impura, por permitir a programação imperativa, ao contrário de outras linguagens funcionais como Haskell. 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ür Dateizugriffe. ML wurde 1973 von Robin Milner an der Universität 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ändigen und eigenständigen Programmiersprache entwickelt, die insbesondere im wissenschaftlichen Umfeld verwendet wird. Die Sprache wird an einigen Universitäten als primäre Programmiersprache gelehrt. ML (angle Meta Language) estas ĝeneralcela funkcia programlingvoj. Ĝi radikas el Lisp, kaj taksitas kiel “Lisp kun tipoj”. Ĝi famas pro sia uzo de plurforma , kiu aŭtomate asignas la tipojn de la plejmulto de sen postuli eksplicitajn tipnotojn, kaj certigas tipsekurecon – estas formala pruvo, ke bontipa ML-programo ne kaŭzas dumrulajn tiperarojn. ML provizas modelkongruigon por funkciargumentoj, , , kaj . Ĝi forte uzatas ĉe programlingva esplorado kaj estas unu el la malmultaj lingvoj tute specifigitaj kaj kontrolitaj per uzo de . Ĝiaj tipoj kaj modelkongruadoj igas ĝin bonsitua kaj ofte uzata por operacii sur aliaj formalaj lingvoj, kiel ĉe , kaj .
dbp:dialects
dbr:Standard_ML dbr:F_Sharp_(programming_language) dbr:OCaml
gold:hypernym
dbr:Language
dbp:wordnet_type
n25:synset-programming_language-noun-1
prov:wasDerivedFrom
wikipedia-en:ML_(programming_language)?oldid=1106423335&ns=0
dbo:wikiPageLength
13744
dbo:designer
dbr:Robin_Milner dbr:University_of_Edinburgh
dbo:influenced
dbr:Coq dbr:Rust_(programming_language) dbr:Scala_(programming_language) dbr:F_Sharp_(programming_language) dbr:Clojure dbr:Cyclone_(programming_language) dbr:OCaml dbr:Erlang_(programming_language) dbr:Idris_(programming_language) dbr:Elm_(programming_language) dbr:Opa_(programming_language) dbr:F*_(programming_language) dbr:Nemerle dbr:Kotlin_(programming_language) dbr:Miranda_(programming_language) dbr:C++ dbr:Haskell_(programming_language) dbr:Standard_ML
dbo:influencedBy
dbr:ISWIM
foaf:isPrimaryTopicOf
wikipedia-en:ML_(programming_language)
Subject Item
dbr:MacroML
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Mads_Tofte
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Callback_(computer_programming)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Standard_ML
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:family
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Strict_programming_language
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Closure_(computer_programming)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Comparison_of_parser_generators
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Comparison_of_programming_languages_(syntax)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Compiled_language
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Computer_program
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Funarg_problem
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Function_object
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Functional_programming
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Harry_Mairson
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Hope_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Operator_overloading
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Parameter_(computer_programming)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Parametric_polymorphism
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Partial_application
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:PhoX
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Pict_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Polymorphism_(computer_science)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Programming_language_theory
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Microsoft_and_open_source
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Mutual_recursion
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:C++
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:CLU_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:C_Sharp_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Timeline_of_programming_languages
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Type_signature
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Type_system
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Type_theory
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Garbage_collection_(computer_science)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Lambda_cube
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:List_of_CLI_languages
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Logic_for_Computable_Functions
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:ALGOL
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:ATS_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Algebraic_data_type
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Alice_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Cyclone_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Daniel_P._Friedman
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Exclamation_mark
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:F_Sharp_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:family
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:ParaSail_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:History_of_programming_languages
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:History_of_software
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Kent_Recursive_Calculator
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Lennart_Augustsson
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Matthew_Flatt
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Protocol_(object-oriented_programming)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Qualification_principle
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Relational_operator
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:HOL_(proof_assistant)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Harlequin_(software_company)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Haskell
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Haxe
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Hindley–Milner_type_system
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Asterisk
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:At_sign
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Ceylon_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:John_C._Reynolds
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Lawrence_Paulson
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:knownFor
dbr:ML_(programming_language)
Subject Item
dbr:Lean_(proof_assistant)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Syntactic_sugar
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Higher-order_programming
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Modern_C++_Design
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Modular_programming
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:System_F
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Aspect-oriented_programming
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Assignment_(computer_science)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:C_Sharp_3.0
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:ISWIM
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influenced
dbr:ML_(programming_language)
dbo:influenced
dbr:ML_(programming_language)
Subject Item
dbr:Idris_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Kotlin_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:Metalanguage
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Michael_J._C._Gordon
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Milner_Award
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Nemerle
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:influencedBy
dbr:ML_(programming_language)
dbo:influencedBy
dbr:ML_(programming_language)
Subject Item
dbr:OCaml
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbp:family
dbr:ML_(programming_language)
Subject Item
dbr:Categorical_abstract_machine
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Self-reference
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:ML
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:wikiPageDisambiguates
dbr:ML_(programming_language)
Subject Item
dbr:Pattern_matching
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Scope_(computer_science)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Unit_type
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Variable_(computer_science)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Wide-spectrum_language
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Type_inference
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Expression-oriented_programming_language
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Extended_ML
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:F*_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:FL_(programming_language)
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:ICFP_Programming_Contest
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Programming_language
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Evaluation_strategy
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:First-class_citizen
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:First-class_function
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:XML_transformation_language
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Product_type
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Outline_of_C++
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Outline_of_software_engineering
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:ProgramByDesign
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Tagged_union
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Ternary_conditional_operator
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
Subject Item
dbr:Ml_programming_language
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:wikiPageRedirects
dbr:ML_(programming_language)
Subject Item
dbr:ML_language
dbo:wikiPageWikiLink
dbr:ML_(programming_language)
dbo:wikiPageRedirects
dbr:ML_(programming_language)
Subject Item
wikipedia-en:ML_(programming_language)
foaf:primaryTopic
dbr:ML_(programming_language)