Lambda Calculus
Update of "Lambda Calculus"
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview

Artifact ID: bb0f9fb7dba0f6b9b6b84cb78149ae61ee289778
Page Name:Lambda Calculus
Date: 2012-03-20 15:55:00
Original User: zot
Parent: 0de00a666f325b33353104d945ea738061265f0e
Content

Note: This repository currently resides at Chiselapp. If you have cloned it from tinyconcepts.com or elsewhere, please sync with the chiselapp repository (and verify with that repository that there is no additional forwarding information :) ).

Lambda Calculator Fossil repository

By Bill Burdick (bill dot burdick at gmail dot com)

(BTW, Fossil is like Git) Notes

This started out as maybe a little more than three implementations of untyped Lambda Calculus in JavaScript:

The virtual machine is still a bit buggy :).

The current plans are to make this into a Lambda Calculus-based language, called Lazp that supports metaprogramming (eval, parser macros)

Work in progress...

Demo and Notes

Here are some overview slides and here is a video of the talk

Here is the calculator, which runs out of your browser.

Clicking the "Run" button compiles all of the LC code to JavaScript and runs the selected one. The "Reduce" button shows the intermediate alpha, beta, and eta reductions required to reduce an LC expression.

There is a small version of Space Invaders, written in Lambda Calculus, here: http://tinyconcepts.com/invaders.html. It's also available in this repository, but the image links work better from a regular web server. It's not finished, yet :)

Resources