Lambda Calculus – Animated Beta Reduction of Lambda Diagrams cruzgodar.com 50 points by perryprog 7 hours ago
tromp 2 hours ago You can enter (λn.n(λc.λa.λb.cb(λf.λx.f(afx)))Fn0)7 to compute the function Col' from [1] to 7, resulting in (3*7+1)/2 = 11. Unfortunately, this visualization is much less insightful than showing the 7 successive succ&swap operations: 7 0 0 8 8 1 1 9 9 2 2 10 10 3 3 11 [1] https://news.ycombinator.com/item?id=46022965
__grob 3 hours ago This is sick, loved the 2swap video on this. Happy to see more content visualizing lambda calculus and Tromp lambda diagrams.
You can enter (λn.n(λc.λa.λb.cb(λf.λx.f(afx)))Fn0)7 to compute the function Col' from [1] to 7, resulting in (3*7+1)/2 = 11. Unfortunately, this visualization is much less insightful than showing the 7 successive succ&swap operations:
[1] https://news.ycombinator.com/item?id=46022965The number of reduction steps in division.
This is sick, loved the 2swap video on this. Happy to see more content visualizing lambda calculus and Tromp lambda diagrams.
Cheers, I love it!
[dead]