[Haskell-cafe] ANNOUNCE: Sylvia, a lambda calculus visualizer

Chris Wong chrisyco+haskell-cafe at gmail.com
Thu Sep 27 08:51:09 CEST 2012

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


More information about the Haskell-Cafe mailing list