Mary had a little lambda
A function pure as snow
And for every program that Mary wrote
The lambda was all she needed to know
You know that a tiny anonymous function, such as Python’s lambda, can be useful in a pinch when you’re feeling too lazy to think up a good function name. But did you know that behind this little lambda is actually one of the most powerful, elegant abstractions in the history of computer science?
Dating back to the work of shepherd Alonzo Church in the 1930s, the lambda calculus lets you represent your programs—all their logic and data—as pure, anonymous functions. Booleans, numbers, operators, control flow, data structures. . .lambda can do it all. Anjana Vakil leads a live-coding deep dive into the lambda calculus, demonstrating the computational power of the almighty little lambda, an abstraction fundamental to functional programming. With some determination and a little squinting, you might even see lambda do the impossible: reconcile object-oriented and functional programming.
Anjana Vakil is Engineering Learning & Development Lead at Mapbox. Anjana suffers from a debilitating case of curiosity, which led her from philosophy to English teaching to computational linguistics to software development. Talk to her about functional programming, language design and implementation, and speech technology and ask her about Mozilla, Outreachy, and the Recurse Center. She can usually be found in San Francisco—that is, when she’s not traveling the world trying to share the joy of programming and make the tech community more diverse and accessible.
©2018, O'Reilly Media, Inc. • (800) 889-8969 or (707) 827-7019 • Monday-Friday 7:30am-5pm PT • All trademarks and registered trademarks appearing on oreilly.com are the property of their respective owners. • email@example.com