Hispanopedia WikiFL (por Function Level ) es un lenguaje de programación creado en IBM Research – Almaden , California 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 .
FL es un lenguaje de programación funcional estricto con tipado dinámico y semántica de excepciones throw y catch, similar a ML . Cada función tiene un argumento history implícito que se utiliza para operaciones como entrada/salida (E/S) estrictamente funcionales, pero también para enlazar con código C. Para la optimización, existe un sistema de tipos que es una extensión de la inferencia del sistema de tipos de Hindley-Milner .
Plasma
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. (1993). El proyecto FL: Diseño de un lenguaje funcional (PDF) . Universidad de Stanford (Informe).
- ↑ "Introducción a FL y PLASM" . Plasm.net . Archivado del original el 28 de marzo de 2023. Consultado el 30 de diciembre de 2025 .
Enlaces externos
- Manual de idioma FL, partes 1 y 2 (PDF)
- Lista de artículos sobre FL en plasm.net a través de archive.org
- Introducción a FL y PLaSM (PDF)
- Lenguajes de programación creados en 1989
- Lenguajes de programación académica
- Lenguajes de programación de tipado dinámico
- Lenguajes a nivel de función
- Temas básicos de lenguajes de programación
