FL (programming language)

FL (short for "Function Level") is a functional 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
ParadigmFunction-level, functional
Designed byJohn Backus
John Williams
Edward Wimmers
First appeared1989
Typing disciplineDynamic
Influenced by
FP

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.

Uses

PLaSM is a "geometry-oriented extension of a subset of the FL language"[2] first described in 1992.

gollark: People in companies aren't *literal slaves*, they have waaay more freedom and such.
gollark: I mean, slaves are *capable* of it, but the slavery paradigm doesn't allow for it.
gollark: The trouble is that you probably also need people to do, well, thinky stuff, which slaves can't really manage. If you want your slaves to be able to give you nice things like cars and smartphones.
gollark: Although if you want to maintain good current quality of life for *you* via slavery you'll need most of this infrastructure anyway.
gollark: Since nowhere has ALL the stuff you need you need a ton of transportation.

References
  1. Aiken, Alexander; Williams, John H.; Wimmers, Edward L. "The FL Project: Design of a Functional Language" (PDF). Stanford University.
  2. "Introduction to FL and PLaSM". plasm.net.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.