Definición de ML estándar

Opiniones de los lectores

Las reseñas de este libro sobre Standard ML ponen de relieve perspectivas opuestas: algunos lectores aprecian su enfoque preciso y matemáticamente riguroso de las definiciones del lenguaje, mientras que otros lo encuentran excesivamente críptico e inaccesible, sobre todo para los principiantes.

El libro proporciona una definición sucinta, exacta y matemáticamente precisa de ML estándar, lo que lo hace ideal para la implementación y el razonamiento sobre la corrección. Sirve de lección sobre cómo deben elaborarse las definiciones de un lenguaje.

Se considera que la redacción es impenetrable y excesivamente compleja, lo que sugiere que es más adecuada para personas con conocimientos avanzados, como doctores en Matemáticas. Existe la preocupación de que la dificultad pueda limitar su accesibilidad a los principiantes y obstaculizar la popularidad del lenguaje.

(basado en 3 opiniones de lectores)

Título original:

Definition of Standard ML

Contenido del libro:

ML estándar es un lenguaje de programación de propósito general diseñado para grandes proyectos. Este libro ofrece una definición formal de ML estándar para beneficio de todos los interesados en el lenguaje, incluidos usuarios e implementadores.

Dado que cada vez se exige más a los programas informáticos que resistan un análisis riguroso, es aún más importante que el lenguaje en el que están escritos se defina con todo rigor. Uno de los propósitos de la definición de un lenguaje es establecer una teoría de significados en la que pueda basarse la comprensión de programas concretos. Para definir correctamente un lenguaje de programación, es necesario utilizar alguna forma de notación que no sea un lenguaje de programación.

En aras del rigor, la notación matemática es una elección obvia. Los autores han definido sus objetos semánticos en notación matemática que es completamente independiente de ML estándar. Al definir un lenguaje también hay que definir con precisión las reglas de evaluación, es decir, definir qué significado resulta de evaluar cualquier frase del lenguaje.

La definición constituye así una especificación formal para una implementación. Los autores han desarrollado suficientemente su teoría para dar sentido a sus reglas de evaluación. La Definición del Lenguaje Estándar ML es el punto de referencia esencial del Lenguaje Estándar ML.

Desde su publicación en 1990, la tecnología de implementación del lenguaje ha avanzado enormemente y el número de usuarios ha crecido. La edición revisada incluye varias novedades, omite funciones poco utilizadas y corrige errores de definición.