| Paradigm | Function-level, functional |
|---|---|
| Designed by | John Backus John Williams Edward Wimmers |
| First appeared | 1989 |
| Typing discipline | Dynamic |
| Influenced by | |
| FP | |
FL (short for "Function Level") is a programming language created at the IBM Almaden Research Center by John Backus, John Williams, and Edward Wimmers in the 1980s and documented in a report from 1989.[1] FL was designed as a successor of Backus' earlier FP language, providing specific support for what Backus termed function-level programming.
FL is a dynamically typed strict functional programming language with throw and catch exception semantics much like in ML. Each function has an implicit history argument which is used for doing things like strictly functional input/output (I/O), but is also used for linking to C code. For doing optimization, there exists a type-system which is an extension of Hindley–Milner type inference.
YouTube Encyclopedic
-
1/3Views:10 2778236 561
-
[JOUR 111] Research and Programming
-
Software Transactions: A Programming-Languages Perspective
-
Science on Board CRS-15
Transcription
Uses
PLaSM is a "geometry-oriented extension of a subset of the FL language"[2] first described in 1992.
References
- ^ Aiken, Alexander; Williams, John H.; Wimmers, Edward L. "The FL Project: Design of a Functional Language" (PDF). Stanford University.
- ^ "Introduction to FL and PLaSM". plasm.net.
External links
- FL Language Manual, Parts 1 and 2 (PDF)
- List of FL papers at plasm.net
- Introduction to FL and PLaSM (PDF)
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |
This page was last edited on 26 June 2024, at 18:20