[Haskell-cafe] ANNOUNCE: Sylvia, a lambda calculus visualizer
chrisyco+haskell-cafe at gmail.com
Thu Sep 27 08:51:09 CEST 2012
Some of you in the audience may have read Dave Keenan's paper, [To
Dissect a Mockingbird]. A subset of that may have wondered if it was
possible to generate those pretty pictures programmatically. For that
subset, I can answer to you -- yes, yes you can.
[To Dissect a Mockingbird]: http://dkeenan.com/Lambda/
Sylvia is a lambda calculus visualizer. It takes in an expression in
the untyped lambda calculus and spits out a pretty picture.
This is still in very early alpha, but it renders a fair number of
combinators correctly. I plan to add animated reduction (once I figure
out how to do it), and eventually develop this into a sandbox game of
some sort. I'm hoping to get some comments and ideas on how I can take
it from here.
More information about the Haskell-Cafe