FL (lenguaje de programación)

FL (abreviatura de "Function Level") es un lenguaje de programación creado en el IBM Almaden Research Center por John Backus , John Williams y Edward Wimmers en la década de 1980 y documentado en un informe de 1989. ^[1] FL fue diseñado como un sucesor del lenguaje FP anterior de Backus , proporcionando soporte específico para lo que Backus denominó programación a nivel de función .

FL es un lenguaje de programación funcional estricto tipado dinámicamente con semántica de excepciones de lanzamiento y captura muy similar a la de ML . Cada función tiene un argumento histórico implícito que se utiliza para realizar tareas como entrada/salida (E/S) estrictamente funcionales, pero también se utiliza para vincular con código C. Para realizar la optimización, existe un sistema de tipos que es una extensión de la inferencia de tipos de Hindley-Milner .

Usos

PLaSM es una "extensión orientada a la geometría de un subconjunto del lenguaje FL" ^[2] descrito por primera vez en 1992.

Referencias

^ Aiken, Alexander; Williams, John H.; Wimmers, Edward L. "El Proyecto FL: Diseño de un lenguaje funcional" (PDF) . Universidad de Stanford .
^ "Introducción a FL y PLaSM". plasm.net .

Enlaces externos

Manual del idioma FL, partes 1 y 2 (PDF)
Lista de artículos de FL en plasm.net
Introducción a FL y PLaSM (PDF)

[1] Aiken, Alexander; Williams, John H.; Wimmers, Edward L. "El Proyecto FL: Diseño de un lenguaje funcional" (PDF) . Universidad de Stanford .

[2] "Introducción a FL y PLaSM". plasm.net .