
How to draw lambda diagrams (2020)
diginova
created: July 25, 2025, 12:57 p.m. | updated: July 26, 2025, 12:39 a.m.
I think lambda diagrams are extremely cool, and haven’t seen any detailed description on how they work online.
I’ll start by showing some very simple examples of lambda diagrams, and then build up to more complicated ones.
Try this one: λx.λy.λz.z (y x) (y z x) x………Here it is!
Lambda Expressions within Lambda ExpressionsNext, we’ll look at how to deal with lambda expressions that contain new lambda expressions within their function body.
We first draw the lambda diagrams for each of the two component expressions side by side:And now we simply attach the second to the first, indicating that the entire second lambda expression is fed as input to the first!
1 day, 23 hours ago: Hacker News: Front Page