Albert Einstein dijo una vez que “las cosas deben ser tan simple como sea posible, pero no más sencillo”. Einstein pudo haber estado hablando de lenguajes de programación, como el paisaje está lleno de ‘simple’ lenguas que, las versiones más tarde, tienen manuales de referencia de 500 páginas!

La verdad es que esperamos mucho de nuestros lenguajes de programación. máquinas de Turing simplemente no son lo suficientemente sofisticados para el desarrollo de software moderno, que la demanda de apoyo para la encapsulación y la abstracción, la comprobación de tipos y el manejo de excepciones, el polimorfismo y mucho más. Ada, a diferencia de otros idiomas que creció con la adición progresiva de funciones, fue diseñado como un lenguaje de programación coherente de los sistemas de software complejos. Como para justificar diciendo Einstein, Ada no es más compleja que las versiones finales de las lenguas ‘simple’.

Sin embargo, la complejidad de los lenguajes de programación modernos hojas de escritores de libros de texto con un doloroso dilema: o bien pasar por alto los detalles sangrientos, o escribir libros que son lo suficientemente pesado como para ser clasificados como armas letales. ¿Hay otra manera?