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.

Türlenmemiş lambda calculus, hesaplamada en temel sistemlerinden birini keşfedin. kuralları son derece basit bir set ile başlayarak, tüm hesaplama mümkündür. Ama kurallar lambda hesabı anlamına gelmez basit, çünkü çok kolay: Eğer bir şey hesaplayabiliriz bir noktaya ulaşmak için bazı akıllılık ve yaratıcılık gerekir.

görsel Lambda hesabı ifadeleri (lambda'lar, değişkenler ve işlev çağrıları) oluşturabilir ve bunları değerlendirmek için bu uygulama yapmanızı sağlar. Boolean, kilise sayılar, ya da Y bağdaştırıcının deneyin.

tabletlerde inşaat büyük! telefonlarda, manzara modunda en iyi çalışır.

o (örneğin, online ya da bir sınıf) bunun için ayrı bir kaynak var en iyisidir, böylece uygulaması (henüz), lambda hesabı öğretmek unutmayın.