Los "idiomas restringidos" de Fernando J. Corbató

Para su discurso de premio Turing de 1990 , Fernando J. Corbató enumeró las razones por las cuales los sistemas complejos inevitablemente fallarán. En su conclusión, da algunas sugerencias para disminuir la probabilidad de falla. Él enumera una idea de la siguiente manera:

[U] se de lenguajes restringidos para diseño o síntesis es una metodología poderosa. Al no permitir que un programador o diseñador exprese ideas irrelevantes, el dominio de posibles errores se vuelve mucho más limitado.

¿Qué quiere decir con "lenguaje restringido"?

Por un momento consideré la programación de restricciones . Sin embargo, la programación de restricciones se trata de restringir el espacio de solución del programa. Es una herramienta que faculta a un programador. La característica a la que se refiere Corbató parece ser algo que realmente restringe al programador, o al menos la hace más propensa a escribir código terser.

Mi segundo pensamiento es que se está refiriendo a lenguajes de programación conservadores . Corbató recibió su premio Turing por el trabajo realizado en las décadas de 1960 y 1970. Tengo entendido que se ocupó de muchas tarjetas perforadas. Nunca he visto una tarjeta perforada, así que ciertamente no sé cómo programarla, pero creo que esa programación es extremadamente liberal. Sospecho que las nociones de verificación de tipo, análisis estático, etc. simplemente no existían. Entonces, ¿se está refiriendo Corbató a la idea de lenguajes que restringen al desarrollador de cometer errores tontos? Este tampoco parece ser el caso. La verificación de seguridad y el modelado de datos no tienen nada que ver con la brevedad, de lo que parece estar hablando cuando menciona "no permitir ... ideas irrelevantes".

Un "lenguaje de programación restringido" es simplemente uno que no proporciona formas (fáciles) de hacer cosas que son irrelevantes para el propósito del lenguaje.

Tenga en cuenta que es "irrelevante", no "tonto", "estúpido" o "incorrecto".

Un buen ejemplo de esto podría ser ISO / ANSI SQL (antes de SQL-92), que no tenía forma en el lenguaje de consulta para expresar muchos artefactos de programación de tipo procesal, como la recursión o los bucles. (Sin embargo, los tiene ahora, y los proveedores agregaron extensiones personalizadas para ellos previamente de todos modos).

Esto me suena muy similar a la noción de lenguajes específicos de dominio . Tal como señaló @RBarryYoung, un ejemplo para esto sería SQL (otros serían HTML, CSS, etc.).

Primero, debe comprender la era de la informática cuando se dio su discurso (1990). Además, tenga en cuenta que está hablando con una audiencia académica y que MIT es su base de operaciones.

En esa época, los idiomas para escribir idiomas (metalenguajes) eran un tema candente. El protocolo Art of the Meta-Object acaba de salir y está inspirando el diseño de nuevos lenguajes. Sin embargo, todo este lujo tiene un precio: complejidad.

Para ayudar a reducir la complejidad de los sistemas y permitir la verificación de estos sistemas, los metalenguajes como Z salieron para hacer una especificación comprobable. Supongo que se refiere a este tipo de idiomas.

Posiblemente se refiere a un lenguaje que tiene un número bastante menor de conceptos para comprender. Consulte los diagramas aquí que muestran las representaciones gráficas de los conceptos en Coffescript, Ruby y C ++. Puede ser Tuner significa que cuantos menos conceptos tenga en un idioma, menores serán las posibilidades de expresar ideas irrelevantes.