Pgina 1

COMPILADORES Y LENGUAJES DE PROGRAMACION

LENGUAJE DE PROGRAMACION STARNDARD ML

INTEGRANTES:

GARCIA MUOZ, FERNANDO MANUEL

LIMAS VILLANUEVA, CRISTIAN ALEX

SALCEDO SAAVEDRA, ESTEFANNY ANTONELA

SILVESTRE CALDERON, DANIEL DERYAN

SANDOVAL BARDALES, FELIPE MANUEL

 Pgina 2

Contenido
Datos tcnicos del Lenguaje de Programacin ............................................................................. 3
Autor ............................................................................................................................................. 3
Paradigmas de Programacin ....................................................................................................... 3
Genealoga .................................................................................................................................... 3
Plataformas de desarrollo (S.O.): .................................................................................................. 4
Entornos de Programacin IDE: .................................................................................................... 4
Compiladores ................................................................................................................................ 4
Bibliografa .................................................................................................................................... 9
 Pgina 3

Datos tcnicos del Lenguaje de Programacin

Standard ML (Standard Meta Language) es un lenguaje de programacin modular, funcional y
de uso general con comprobacin de tipo de compilacin e inferencia de tipos. SML es un dialecto
moderno de ML, es usado para las funciones computables (LCF). Es distintivo entre las lenguas
ampliamente utilizadas, ya que tiene una especificacin formal, dada como reglas de tipificacin
y semntica operativa en la Definicin de la Norma ML.

La definicin de la norma ML se public en 1990. Desde entonces, la tecnologa de la lengua ha

avanzado enormemente, y los usuarios se han multiplicado. El lenguaje y su definicin han
incitado exmenes minuciosos, evaluaciones, tiene mucha aprobacin y a veces fuertes crtica.

Los autores de la lengua han tamizado esta respuesta y encontraron que hay insuficiencias en el
lenguaje original y su definicin formal.

Son de tres tipos: falta de caractersticas que muchos usuarios quieren; complejo y las
caractersticas poco utilizadas que la mayora de los usuarios pueden prescindir; y errores de
definicin.

Autor
El lenguaje de programacin ML fue desarrollado por Robin Milner y otros a fines de 1970 en la
Universidad de Edimburgo, el comienzo del diseo de Standard ML fue en el abril de 1983 y
formalizado 1983-89 por Milner, Tofte, Harper. Las grandes contribuciones fueron por grupos
de matemticos en la poca como Newman (1943), Curry (1969), Hindley (1969), Milner.

Paradigmas de Programacin
El paradigma de la programacin que emplea el lenguaje Standard ML es multiparadigma, ya
que soporta ms de un paradigma de programacin como:

Imperativo ya que usa declaraciones que cambian el estado de la ejecucin tambin

expresa rdenes y se describe de cmo funciona el programa.
Funcional ya que se basa en el uso de las funciones matemticas a diferencia de la
imperativa

Genealoga
Fecha, Datos histricos, Predecesores, Descendientes, Evolucin, Linaje.

El Lenguaje de programacin Standart ML fue diseado en el abril de 1983 y formalizado 1983-

89 por Milner, Tofte, Harper. Esto se desarroll gracias a otro proyecto el cual estaban trabajado
a mediados de ese ao. El predecesor de este lenguaje es Meta Lenguage quien lo cre Robin
Miler.

El trabajo sobre la definicin formal comenz en 1986. Tres borradores de la definicin formal
de toda la lengua aparecieron como Edimburgo LFCS Tech Reports escrito por Milner, Harper, y
Mads Tofte (estudiante de Robin).

Su evolucin fue hasta mediados de 2000 con Objective clam 3.000.

 Pgina 4

Plataformas de desarrollo (S.O.):

Windows, desde la versin NT en adelante. - Plataformas UNIX (Linux, MacOS X).

Entornos de Programacin IDE:

El IDE aprobado segn SML/NJ para el desarrollo en SML es Emacs, en este proyecto usamos su
ltima versin al momento de la creacin de la presente.

Compiladores
Standard ML de Nueva Jersey (SML / NJ) es un compilador y un entorno de programacin para
el lenguaje de programacin Standard ML. Originalmente fue desarrollado conjuntamente por
Bell Laboratories y la Universidad de Princeton, y ahora es un proyecto conjunto entre los
investigadores de Bell Laboratories, Lucent Technologies), la Universidad de Princeton, la
Universidad de Yale (The FLINT Project) y AT&T Research. La versin actual de SML / NJ es la
Versin 110, que implementa la revisin SML '97 del lenguaje ML Estndar, incluyendo la nueva
biblioteca Bases Estndar. SML / NJ se distribuye gratuitamente con cdigo fuente, pero sin
garanta. Usted puede usar, copiar, modificar y distribuir el software siempre que usted preserve
el aviso de copyright y no mencione Bell Labs o Lucent Technologies en su publicidad sin previo
acuerdo por escrito; Vea el aviso de licencia y copyright para ms detalles. El Standard ML de
Nueva Jersey est escrito en ML estndar (excepto para el sistema de tiempo de ejecucin, que
est escrito en C). SML / NJ ha sido utilizado para implementar un nmero significativo de
sistemas grandes, principalmente en los campos de lgica aplicada y verificacin (HOL 90,
Isabelle, Step), y anlisis de programas y compiladores avanzados. - Nombre Oficial: Standard
ML of New Jersey - Versin (agosto 19, 2016).

Codigo y ejecucin

Nmeros primos
Pgina 5
Pgina 6
Pgina 7
 Pgina 8

Polinomios
 Pgina 9

Bibliografa
The Definition of Standard ML

http://sml-family.org/