Desde los inicios de la informática, algunos han considerado la formalidad de la programación como un defecto, culpar a las máquinas por su estricta obediencia a las instrucciones. Esperaban máquinas más 'sensatas' que rechazaran actividades sin sentido. Los lenguajes de alto nivel surgieron como una mejora, atrapando muchos errores tontos con mensajes de error en lugar de resultados erróneos. Sin embargo, la máquina abstracta siguió siendo un esclavo fiel, perfectamente capaz de ejecutar instrucciones sin sentido. La programación continuó requiriendo simbolismo formal y la cuidadosa atención que demanda.
La propuesta de diseñar máquinas instruibles en lenguas nativas aumentaría enormemente la carga de la máquina, pero los defensores argumentarían que simplificaría la vida humana. Esto asume que la obligación de usar simbolismo formal es la fuente de dificultad. El autor duda de este argumento, señalando que la elección de interfaz no es simplemente una división del trabajo: el trabajo de comunicación a través de las interfaces debe sumarse.
La historia muestra que los simbolismos formales permitieron el progreso. La matemática griega estancó en forma verbal, y el mundo moderno surgió cuando Europa occidental se liberó de la precisión verbal mediante formalismos cuidadosamente diseñados por Vieta, Descartes, Leibniz y Boole. Los textos formales requieren solo simples reglas para la manipulación legítima, excluyendo efectivamente el sinsentido que las lenguas nativas casi inevitablemente producen.
Fuente: Hacker News · Resumido por HeadlinesBriefing