Lambda Animator New

Lambda Animator is designed as an accessible and handy application that can be used for demonstrating and experimenting with alternative reduction strategies in the lambda calculus.

Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after function application.

Reductions can also be performed within function bodies. Performing reductions within functions can have a specializing effect. If a function is applied more than once then any reductions performed within the function will be performed once before the function body is copied instead of multiple times after.

These specializing reductions can also be performed eagerly or lazily. The specializing effect is sufficient to remove interpretive overhead.

Requirements:	No special requirements
Release Date:	October 26, 2012
Platforms:	Windows All
Keyword:	Calculus,  Lambda,  Lambda Animator,  Lambda Calculus,  Reduction,  Reduction Experimentation,  Reduction Strategy
Users rating:	0/10