FL (lenguaje de programación) - FL (programming language)

Florida
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 (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. FL fue diseñado como sucesor de Backus lenguaje FP anterior , 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 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" descrita por primera vez en 1992.

Referencias

enlaces externos