Programming Language Theory: Difference between revisions
| Line 8: | Line 8: | ||
''Higher-order functions'' map one or more functions to a function. | ''Higher-order functions'' map one or more functions to a function. | ||
===Combinatory Logic=== | ===Combinatory Logic=== | ||
All you really need in life. | |||
====SKI Calculus==== | ====SKI Calculus==== | ||
*<tt>I ≡ λx. x</tt> | *<tt>I ≡ λx. x</tt> | ||