FL (programming language)

<p>FL (short for "Function Level") is a <a href="/facts/Programming_language/cWTYbgWa">programming language</a> created at the <a href="/facts/IBM_Almaden_Research_Center/4DaaL58U">IBM Almaden Research Center</a> by <a href="/facts/John_Backus/pqELHDh6">John Backus</a>, John Williams, and Edward Wimmers in the 1980s and documented in a report from 1989. FL was designed as a successor of Backus's earlier <a href="/facts/FP_(programming_language)/mwLQ3D6t">FP language</a>, providing specific support for what Backus termed <a href="/facts/Function-level_programming/0uCybhfG">function-level programming</a>.
</p><p>FL is a dynamically typed strict <a href="/facts/Functional_programming/cdxqPEIM">functional programming</a> language with throw and catch exception semantics much like in <a href="/facts/ML_(programming_language)/RfwxASRF">ML</a>. Each function has an implicit history argument which is used for doing things like strictly functional <a href="/facts/Input/output/WQTE8Jas">input/output</a> (I/O), but is also used for linking to <a href="/facts/C_(programming_language)/Ky2No763">C</a> code. For doing optimization, there exists a type-system which is an extension of <a href="/facts/Hindley%E2%80%93Milner_type_inference/9GIuBwQ6">Hindley–Milner type inference</a>.
</p>

FL (programming language) open-in-new

FL (programming language)