(no subject)

[chrisamaphone]

this visual representation of lambda calculus (with animated reduction) is kind of cute.

Comments

[jgrafton]

I still think the alligators and eggs game is the best thing ever.

[chrisamaphone]

yeah it's sort of cute, but more useful (in terms of teaching utility) perhaps as a metaphor than as a visualization (since, visually, it's really not much different from the usual syntax).

actually i was more intrigued by martin erwig's graph representation. you just write everything as an ast and instead of variables having names, their nodes point (via "binding edges") to the site where they were bound. this is probably a great visual representation for teaching because it means you don't have to dive into alpha variation early on.