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 evaluación por valor, álgebra de funciones, manejo automatizado de memoria por medio de recolección de basura, polimorfismo parametrizado, análisis de estático de tipos, inferencia de tipos, tipos de datos algebraicos, llamada por patrones y manejo de excepciones. Esta combinación 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án 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ño de otros lenguajes, tales como Cyclone y Nemerle.
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.[1]
Referencias
«Machine Learning: análisis de lenguajes de programación y herramientas para desarrollo». Consultado el 13 de mayo de 2021.
Enlaces externos
(inglés)
Datos:Q860654
Agosto 01, 2021
lenguaje, programación, lenguaje, programación, propósito, general, familia, lenguajes, programación, funcional, desarrollado, robin, milner, otros, finales, años, 1970, universidad, edimburgo, acrónimo, inglés, metalenguaje, dado, concebido, como, lenguaje, p. ML es un lenguaje de programacion de proposito general de la familia de los lenguajes de programacion funcional desarrollado por Robin Milner y otros a finales de los anos 1970 en la Universidad de Edimburgo ML es el acronimo ingles de metalenguaje dado que fue concebido como el lenguaje para desarrollar tacticas de demostracion en el sistema LCF El lenguaje para el cual ML era metalenguaje es pplambda una combinacion del calculo de predicados de primer orden y el lambda calculo polimorfico sencillamente tipificado MLRobin MilnerInformacion generalParadigmamultiparadigma imperativo funcionalAparecio en1973Disenado porRobin Milner y otros en la Universidad de EdimburgoSistema de tipostipificado estatico fuerte tipificacion inferidaDialectosStandard ML OCaml F Influido porISWIMHa influido aMiranda Haskell Cyclone Nemerle C Clojure Felix Mythryl editar datos en Wikidata Frecuentemente se clasifica a ML como un lenguaje funcional impuro dado que permite programar imperativamente con efecto colateral a diferencia de otros lenguajes de programacion funcional tales como Haskell Entre las caracteristicas de ML se incluyen evaluacion por valor algebra de funciones manejo automatizado de memoria por medio de recoleccion de basura polimorfismo parametrizado analisis de estatico de tipos inferencia de tipos tipos de datos algebraicos llamada por patrones y manejo de excepciones Esta combinacion 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 estan disponibles principalmente Standard ML SML y Ocaml Ocaml contiene la sintaxis de ML como un subconjunto Varias ideas aparecidas en ML han influido el diseno de otros lenguajes tales como Cyclone y Nemerle Los lenguajes de la familia ML se aplican principalmente en diseno y manipulacion de lenguajes de programacion compiladores analizadores demostradores de teoremas asi como en bioinformatica sistemas financieros protocolos de sincronizacion etc 1 Referencias Editar Machine Learning analisis de lenguajes de programacion y herramientas para desarrollo Consultado el 13 de mayo de 2021 Enlaces externos Editarpruebas comparativas entre varios lenguajes ingles Datos Q860654Obtenido de https es wikipedia org w index php title ML lenguaje de programacion amp oldid 135504103, wikipedia, wiki, leyendo, leer, libro, biblioteca,
