Visual lambda

Environment allows intuitive manipulation of lambda calculus expressions.

Screenshot

Examples

Project home

"Visual lambda calculus" Master thesis (pdf)

tags: python, source, thesis, lambda
date: 18.06.2008


Factorial

T = \x y. x
F = \x y. y
Y = \f. (\x. f (x x)) (\x. f (x x))
ISZERO = \n. n (\x. F) T
MULT = \m n f. m (n f)
1 = \f n. f n
PRED = \n f x. n (\g h. h (g f)) (\u. x) I

Y ISZERO MULT 1 PRED


FACT = Y (\f n. (ISZERO n) 1 (MULT (f (PRED n)) n))

tags: lambda
date: 06.02.2018


Animation

T = \x y. x
FST = \p. p T
(E1,E2) = \f. f E1 E2
FST (E1,E2) = E1

Animation


MULT = \m n f x. m (n f) x
5 = \f x. f (f (f (f (f x))))
MULT 2 3 = 6

Animation

tags: lambda
date: 06.02.2018


Semantics

tags: lambda
date: 06.02.2018


Links

Lambda Calculus Visualizations

Programming with Visual Expressions Wayne Citrin, Richard Hall, Benjamin Zorn
http://users.encs.concordia.ca/~haarslev/vl95www/html-papers/citrin/citrin.html

A Graphical Notation for the Lambda Calculus with Animated Reduction
David C Keenan
http://users.bigpond.net.au/d.keenan/Lambda/

Alligator Eggs. A puzzle game.
http://worrydream.com/AlligatorEggs/

Lambda Animator. Michael Thyer (java)
http://thyer.name/lambda-animator/

Visual Languages

Abstract Syntax and Semantics of Visual Languages
Martin Erwig
http://web.engr.oregonstate.edu/~erwig/papers/VLSemantics_JVLC98.pdf

Visual Programming
Jean-Sebastien Mouret
http://www.lrde.epita.fr/dload/20020514-Seminar/js0502_rapport.pdf

http://en.wikipedia.org/wiki/Visual_programming_language

tags: lambda
date: 06.02.2018


Mõte

Visuaalne programmeerimiskeel lambda-arvutuse alusel

Kasutamine

tags: lambda
date: 06.02.2018