Tributo a Niklaus Wirth
Hace una semana, a la edad de 89 años, fallece en Suiza el profesor Niklaus Wirth. Conocido principalmente por la creación del lenguaje Pascal, fue realmente el padre de los lenguajes de programación. Nunca cesó de crear en ese campo: Euler, Algol W, Pascal, Modula, Modula-2 y Oberon. Sus lenguajes exhibían principios claros de diseño: legibilidad, regularidad, seguridad, economía de formas. Los lenguajes de programación crean abstracciones, las cuales se basan en supuestos o axiomas: es responsabilidad de la implementación del lenguaje vigilar que cada vez que se utiliza alguna abstracción se cumple con los supuestos en los cuales se basa. Un ejemplo sencillo es la abstracción "arreglo", que permite el acceso a elementos mediante índices, y donde habrá de vigilarse que el índice esté siempre dentro del rango del arreglo. Hay abstracciones más complejas, hasta llegar, por ejemplo, al concepto de objetos y herencia o extensión de tipos. Son muchos los supuestos en que se bas