Lenguajes de Programación cs.PL

La niebla se espesa sobre la línea «def max(a: Int, b: Int): Int». ¿Qué hace? Devuelve el mayor de dos números, pero ¿cómo comprobarlo? Se pueden escribir una docena de pruebas con pares concretos: max(2,3)=3, max(5,5)=5, max(-1,0)=0. Y aun así queda la inquietud: ¿y si para algún millón y menos un millón falla?

El intérprete está en la sala de reuniones y traduce cada palabra. Pero de repente se da cuenta de que puede mejorar su traducción si aprende de sus errores. Empieza a anotar qué frases causaron malentendidos y las corrige. Al cabo de una hora, su traducción es más precisa y la reunión avanza más rápido.

Un niño construye un juego sencillo en Scratch: un personaje aparece en el centro y salta instantáneamente a una esquina. El primer movimiento se pierde entre fotogramas: nadie lo ve. Eliminar esa instrucción es seguro. Pero, ¿cómo lo sabe un optimizador automático? Hoy, el repositorio de Scratch alberga decenas de millones de proyectos escritos por jóvenes autores.