3 ms·
The Y combinator may be pictured as ────┬──── ┬─┬ ┼─┬─┬ └─┤ │ ├─┘ │ ├─┘ └─┘ according to the graphical notation for lambda terms at
by tromp 9y ago
The Y combinator may be pictured as
────┬────
┬─┬ ┼─┬─┬
└─┤ │ ├─┘
│ ├─┘
└─┘
according to the graphical notation for lambda terms at http://tromp.github.io/cl/diagrams.html http://tromp.github.io/cl/diagrams.html
- westoncb 9y agoAlso, check out this video of the lambda terms involved in computing factorial three evolving through beta reductions—to jazz music! It feels oddly fitting somehow...: https://www.youtube.com/watch?v=Bt11BsAZMq8 https://www.youtube.com/watch?v=Bt11BsAZMq8 I'd be curious to hear anyone's thoughts on the graphical notation here—I'd never seen it (or anything similar), and it's intriguing to me, but I wonder if folks have gained some specific concrete benefit from it (e.g. you can look at one of these and figure out what's happening much more quickly or something).