Editing Combinatory logic (section)

=== Compilation of functional languages ===

David Turner used his combinators to implement the [[SASL programming language]].

[[Kenneth E. Iverson]] used primitives based on Curry's combinators in his [[J programming language]], a successor to [[APL (programming language)|APL]]. This enabled what Iverson called [[tacit programming]], that is, programming in functional expressions containing no variables, along with powerful tools for working with such programs. It turns out that tacit programming is possible in any APL-like language with user-defined operators.{{sfn|Cherlin|1991}}