Visual lambda

Environment allows intuitive manipulation of lambda calculus expressions.

Screenshot

Examples

Project home

"Visual lambda calculus" Master thesis (pdf)

id: lambda
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))

id: lambda_fact
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

id: lambda_anim
tags: lambda
date: 06.02.2018

Semantics

id: lambda_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

id: lambda_links
tags: lambda
date: 06.02.2018

Mõte

Visuaalne programmeerimiskeel lambda-arvutuse alusel

Kasutamine

id: lambda_m6te
tags: lambda
date: 21.02.2020