On Wed, Sep 26, 2012 at 11:51 PM, Chris Wong
Hello all
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.
Obligatory links ----------------
Hackage: http://hackage.haskell.org/package/sylvia
Source: https://github.com/lfairy/sylvia
Documentation: https://github.com/lfairy/sylvia/wiki
----------------
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
This is actually a lot of fun, thanks for sharing! I am looking forward to the animated reductions. :) Cheers, Darren