ML dependiente

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article provides insufficient context for those unfamiliar with the subject. Please help improve the article by providing more context for the reader. (March 2018) (Learn how and when to remove this message) The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Dependent ML" – news · newspapers · books · scholar · JSTOR (March 2018) (Learn how and when to remove this message) (Learn how and when to remove this message)

El lenguaje de programación dependiente ( DML ) es un lenguaje de programación funcional , de alto nivel , multiparadigma y de propósito general propuesto por Hongwei Xi (Xi 2007) y Frank Pfenning . Es un dialecto del lenguaje de programación ML . El lenguaje de programación dependiente extiende el lenguaje de programación ML mediante una noción restringida de tipos dependientes : los tipos pueden depender de índices estáticos de tipo ( números naturales ). El lenguaje de programación dependiente emplea un demostrador de teoremas de restricción para decidir una teoría ecuacional fuerte sobre las expresiones de índice. Nat

Los tipos de DML no dependen de los valores de tiempo de ejecución: todavía hay una distinción de fase entre la compilación y la ejecución del programa. ^[1] Al restringir la generalidad de los tipos completamente dependientes , la verificación de tipos sigue siendo decidible , pero la inferencia de tipos se vuelve indecidible.

El ML dependiente ha sido reemplazado por ATS y ya no se encuentra en desarrollo activo.

• Xi, Hongwei (marzo de 2007). "ML dependiente: un enfoque para la programación práctica con tipos dependientes". Journal of Functional Programming . 17 (2): 215–286. doi : 10.1017/S0956796806006216 . S2CID  45996427.
• David Aspinall y Martin Hofmann  [de] (2005). "Tipos dependientes". En Pierce, Benjamin C. (ed.) Temas avanzados en tipos y lenguajes de programación . MIT Press.

• Sitio web oficial de Hongwei Xi, diseñador y mantenedor de ATS
• La página de inicio de DML Archivado el 13 de diciembre de 2009 en Wayback Machine.

Este artículo relacionado con el lenguaje de programación es un esbozo . Puedes ayudar a Wikipedia expandiéndolo.

• v
• t
• e