El entero que se negó a desbordarse: Ada y el límite de 2,147,483,647
The Integer
En este relato en primera persona, un entero de 32 bits narra su existencia dentro de un programa Ada. Al alcanzar el valor máximo, 2,147,483,647, recibe la orden de incrementarse. En lugar de sufrir un desbordamiento que lo convertiría en un número negativo, el runtime de Ada detecta la violación de rango y lanza la excepción CONSTRAINT_ERROR. El entero reflexiona sobre su identidad y su destino mientras la pila de llamadas se desenrolla, hasta que el programa termina. Una historia que ilustra la seguridad de Ada frente a los desbordamientos silenciosos.
No me había convertido en negativo. No había corrompido la verdad solo porque la verdad era demasiado grande para caber.