Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web

Originally built as my master's thesis in 2008, Visual Lambda is a graphical environment where lambda terms are manipulated as draggable 2D structures ("Bubble Notation"), and beta-reduction is smoothly animated.

I recently revived and cleaned up the project and published it as an interactive web version: https://bntre.github.io/visual-lambda/

GitHub repo: https://github.com/bntre/visual-lambda

It also includes a small "Lambda Puzzles" challenge, where you try to extract a hidden free variable (a golden coin) by constructing the right term: https://github.com/bntre/visual-lambda#puzzles

▲

bntr 3 days ago | parent | next [-]

For comparison: factorial(3) visualized in two different notations.

John Tromp's Lambda Diagrams (via 2swap): https://www.youtube.com/watch?v=RcVA8Nj6HEo&t=1346s

Bubble Notation: https://www.youtube.com/watch?v=aRgu8S3Pnb8

▲

discarded1023 7 hours ago | parent | next [-]

Here's another from a long time ago: https://dkeenan.com/Lambda/

	▲	bntr an hour ago \| parent [-]
		I like this catalog: 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)

▲

the_cat_kittles 6 hours ago | parent | prev [-]

2swap has some incredible videos

▲

bntr 20 hours ago | parent | prev [-]

You can also construct your own puzzles and share them via URL.

Example: https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAA...