@prefix foaf: .
foaf:primaryTopic .
@prefix dbo: .
@prefix dbpedia-es: .
dbpedia-es:Meta_Lenguaje dbo:wikiPageRedirects .
@prefix rdf: .
@prefix schema: .
rdf:type schema:Language .
@prefix wikidata: .
rdf:type wikidata:Q315 ,
dbo:Language ,
dbo:ProgrammingLanguage .
@prefix owl: .
rdf:type owl:Thing ,
wikidata:Q9143 .
@prefix rdfs: .
rdfs:label "ML (lenguaje de programaci\u00F3n)"@es ;
rdfs:comment "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 el acr\u00F3nimo ingl\u00E9s de metalenguaje 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 metalenguaje es pplambda, una combinaci\u00F3n del y el lambda-c\u00E1lculo polim\u00F3rfico sencillamente tipificado)."@es ;
owl:sameAs ;
foaf:name "ML"@es .
@prefix dct: .
@prefix category-es: .
dct:subject category-es:Universidad_de_Edimburgo ,
,
category-es:Software_de_1973 ,
;
foaf:isPrimaryTopicOf ;
dbo:wikiPageID 64956 ;
dbo:wikiPageRevisionID 121548429 ;
dbo:wikiPageExternalLink .
@prefix xsd: .
dbo:wikiPageLength "3448"^^xsd:nonNegativeInteger ;
1973 ;
"Robin Milner y otros en la Universidad de Edimburgo"@es .
@prefix prop-es: .
prop-es:dialectos dbpedia-es:F_Sharp ,
dbpedia-es:Ocaml ,
dbpedia-es:Standard_ML ;
prop-es:tipoDato dbpedia-es:Sistema_de_tipos ;
prop-es:haInfluido dbpedia-es:Haskell ,
dbpedia-es:Clojure ,
dbpedia-es:Nemerle ,
,
,
,
dbpedia-es:Mythryl ,
;
prop-es:paradigma ,
;
dbo:designer dbpedia-es:Robin_Milner .
@prefix prov: .
prov:wasDerivedFrom ;
dbo:abstract "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 el acr\u00F3nimo ingl\u00E9s de metalenguaje 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 metalenguaje es pplambda, una combinaci\u00F3n del y el lambda-c\u00E1lculo polim\u00F3rfico sencillamente tipificado). Frecuentemente se clasifica a ML como un lenguaje funcional impuro dado que permite con efecto colateral, a diferencia de otros lenguajes de programaci\u00F3n funcional, tales como Haskell. Entre las caracter\u00EDsticas de ML se incluyen , , manejo automatizado de memoria por medio de recolecci\u00F3n de basura, polimorfismo parametrizado, , inferencia de tipos, tipos de datos algebraicos, 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 y . Los lenguajes de la familia ML se aplican 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 ;
prop-es:nombre "ML"@es ;
prop-es:influidoPor dbpedia-es:ISWIM .
owl:sameAs .
prop-es:influidoPor .