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 sucesor del lenguaje FP anterior de Backus , proporcionando soporte específico para lo que Backus denominó programación a nivel de función .
Paradigma | A nivel de función , funcional |
---|---|
Diseñada por | John Backus John Williams Edward Wimmers |
Apareció por primera vez | 1989 |
Disciplina de mecanografía | Dinámica |
Influenciado por | |
FP |
FL es un lenguaje de programación funcional estricto tipado dinámicamente con semántica de excepción de lanzamiento y captura muy similar a ML . Cada función tiene un argumento de historial implícito que se usa para hacer cosas como entrada / salida (E / S) estrictamente funcional , pero también se usa para vincular al 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] descrita 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 de idioma de FL, partes 1 y 2 (PDF)
- Lista de artículos de FL en plasm.net
- Introducción a FL y PLaSM (PDF)