Before you proceed...
The primary motivation for studying λ-calculus stems from our team's initiative to standardize coding practices and architecture. After adopting OOP and functional programming paradigms, we recognized the need to solidify our foundational knowledge while developing pseudo-code specifications for functional patterns.
This article targets readers with a basic understanding of computer science and algebra, particularly those familiar with Python. I'll use Python's lambda expressions for implementation examples throughout.
I've also built a λ-calculus interpreter - feel free to experiment with it:
Web App | GitHub Repo
A Cheatsheet is provided at the end for quick reference~