Este documento, elaborado por Paul McJones, reconstruye la trayectoria del proyecto de programación funcional que John Backus desarrolló en IBM desde finales de la década de 1960 hasta su jubilación en 1991. La iniciativa buscaba preservar y contextualizar los materiales supervivientes de aquella línea de investigación, centrada en lenguajes aplicativos, funcionales y de nivel funcional. Backus, ya reconocido por crear FORTRAN y participar en el desarrollo de Algol, fue nombrado IBM Fellow en 1963, lo que le permitió abordar el problema de la programación desde una óptica radicalmente distinta. Hacia 1967-1969, influido por la llamada "crisis del software" debatida en las conferencias de ingeniería del software patrocinadas por la OTAN en 1968 y 1969, decidió explorar un modelo alternativo basado en formas combinatorias y razonamiento ecuacional. Trabajó inicialmente en solitario y, desde finales de 1969, contó con la colaboración de Dines Bjørner, quien le introdujo en el lambda-cálculo y la lógica combinatoria de Curry y construyó un intérprete en PL/I para el lenguaje entonces llamado RedSys. En 1972, Backus publicó su primer informe técnico, donde presentó la familia de lenguajes Red y las llamadas "formas combinatorias" como alternativa a la programación palabra a palabra. Un año después, en la primera conferencia ACM SIGACT-SIGPLAN de Principios de Lengajes de Programación, refinó esa propuesta y acuñó la célebre expresión "cuello de botella de von Neumann", criticando la arquitectura convencional. El texto detalla también la respuesta institucional de IBM, a cargo de Patricia Goldberg, y el ambicioso ciclo de charlas y publicaciones que Backus mantuvo durante 1973 y 1974 para defender sus tesis. Se trata, en definitiva, de un recurso de referencia para historiadores de la informática y para quienes estudian los orígenes de la programación funcional moderna.
Noticias agregadas con IA