FL (programming language)
|Designed by||John Backus, John Williams, Edward Wimmers|
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.
- The FL Project: Design of a Functional Language (PDF)
- FL Language Manual, Parts 1 and 2 (PDF)
- Introduction to FL and PLaSM (PDF)
|This programming-language-related article is a stub. You can help Wikipedia by expanding it.|