All You Need Is Lambda!

This is mantra by honorable prof. Brian Harvey of UC Berkeley. It means that any computation could be defined using nothing but application of procedures (wich is formalized by Lambda Calculus).

Scheme could be considered as an implementation of "Untyped" Lambda Calculus.

Just sing it - All You Need Is Lambda'''

Happy. Happy. Joy. Joy.

Last modified 3 years ago Last modified on Dec 20, 2017, 1:34:23 PM
Note: See TracWiki for help on using the wiki.