Tabla de contenido:
Definición: ¿Qué significa ML estándar (SML)?
Standard ML (SML) es una versión más nueva del lenguaje de programación "Meta Language" o ML desarrollado en la década de 1970. ML tiene raíces en LISP, que es uno de una familia de lenguajes de programación informática con notación de prefijo entre paréntesis.
Techopedia explica Standard ML (SML)
Como una variante sucesiva de Meta Language, Standard Meta Language es un lenguaje de programación modular. Tiene tiempo de compilación de verificación de tipos e inferencia de tipos. Algunos expertos dicen que tiene algunas características "impuras" en términos de cómo se evalúan las expresiones y en torno al uso de varias declaraciones o comandos.
ML estándar es un lenguaje de propósito general. La gente lo usa actualmente para crear productos de software. Pueden usarlo para codificar sistemas de código nativo que se ejecutan en una variedad de sistemas operativos. Sin embargo, algunos dirían que el ML estándar no es un tipo particular de software de nicho, sino solo una especie de lenguaje de programación completo para su uso en sistemas heredados o en la migración a sistemas más modernos. Por ejemplo, alguien podría usar ML estándar junto con C o C # para codificar o actualizar un producto de software.
