Lambda Calculus Interactive Tutorial
I&#x27;m probably showing my profound ignorance, but what has lambda calculus done for me lately?  It seems to be an abstract formalism of some sort, but I&#x27;ve yet to see any real use of it, the examples are baby step type stuff with obfuscated syntax.<p>CS seems overburdened with jargon and trendy crap (IMO) so is this just the latest thing coming down the pike that everyone needs to give lip service to in order to seem smart to their peers?