6 ms·
I like this catalog: https://github.com/prathyvsh/lambda-calculus-visualizations https://github.com/prathyvsh/lambda-calculus-visualizations And it seems that
by bntr 7mo ago
I like this catalog: https://github.com/prathyvsh/lambda-calculus-visualizations https://github.com/prathyvsh/lambda-calculus-visualizations
And it seems that John Tromp's diagrams originate from David C. Keenan's Mockingbird (1996),
and Bubble Notation comes from Wayne Citrin's Visual Expressions (1995)
- discarded1023 7mo agoThanks for the link! Some very pretty stuff there. Missing AFAICT are categorical string diagrams. I'm only sort-of familiar with the notation for Haskell Arrows [1,2] but a quick google for "lambda calculus string diagrams" turns up some recent work by Dan Ghica and others that may be of interest. [1] https://en.wikipedia.org/wiki/String_diagram https://en.wikipedia.org/wiki/String_diagram [2] Ross Paterson "A New Notation for Arrows" (2001)
- bntr 7mo agoThanks! I liked the pics here: https://piedeleu.com/posts/diagrammatic-lambda-calculus/ https://piedeleu.com/posts/diagrammatic-lambda-calculus/ I'd love to see them smoothly animated.