Lambda Calculus Playground APK

Organize your code better by creating definitions! For example, you can define TRUE as a particular expression, then use TRUE wherever you want as a shorthand, and it will also automatically be recognized in evaluation results. By building definitions on top of definitions, you can create much more interesting expressions that would be unmanageable in their fully-expanded form.

This update also includes a number of other bug fixes, performance improvements, and improved stability.

Explora el cálculo lambda sin tipo, uno de la mayoría de los sistemas fundamentales de la informática. A partir de una notable simple conjunto de reglas, todos los cálculos es posible. Pero sólo porque las reglas son simples no significa que el cálculo lambda es fácil: usted necesitará una cierta inteligencia y creatividad para llegar a un punto donde se puede calcular nada.

Esta aplicación te permite crear visualmente expresiones lambda cálculo lambda (llamadas, variables y funciones) y evaluarlos. Pruebe booleanos, números de la iglesia, o el combinador Y.

Funciona muy bien en tabletas! En los teléfonos, que funciona mejor en modo horizontal.

Tenga en cuenta que la aplicación no (todavía) enseñan el cálculo lambda, por lo que es mejor tener un recurso independiente para que (por ejemplo, en línea o de una clase).