FL (programming language)
Page Module:Message box/ambox.css has no content.
 | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (January 2018) |
Page Module:Infobox/styles.css has no content.
| FL | |
|---|---|
| Paradigm | Function-level, functional |
| Designed by | John Backus John Williams Edward Wimmers |
| Developer | IBM Research |
| First appeared | 1989 |
| Template:Infobox software/simple | |
| Typing discipline | Dynamic |
| Website | {{ |
| Influenced by | |
| FP | |
FL (for Function Level) is a programming language created at IBM Research – Almaden, California 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's 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 as 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 to link to C code. For optimizing, there exists a type system which is an extension of Hindley–Milner type system inference.
PLaSM
PLaSM is a "geometry-oriented extension of a subset of the FL language"[2] first described in 1992.
References
Page Template:Reflist/styles.css has no content.
- ^ Page Module:Citation/CS1/styles.css has no content.Aiken, Alexander; Williams, John H.; Wimmers, Edward L. (1993). The FL Project: Design of a Functional Language (PDF). Stanford University (Report).
- ^ Page Module:Citation/CS1/styles.css has no content."Introduction to FL and PLaSM". Plasm.net. Archived from the original on 28 March 2023. Retrieved 30 December 2025.
External links
- FL Language Manual, Parts 1 and 2 (PDF)
- List of FL papers at plasm.net
- Introduction to FL and PLaSM (PDF)
