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.

Jelajahi kalkulus lambda untyped, salah satu dari kebanyakan sistem mendasar dalam komputasi. Dimulai dengan satu set sangat sederhana dari aturan, semua perhitungan adalah mungkin. Tapi hanya karena aturan yang sederhana tidak berarti kalkulus lambda mudah: Anda akan memerlukan beberapa kepandaian dan kreativitas untuk sampai ke titik di mana Anda dapat menghitung apa-apa.

Aplikasi ini memungkinkan Anda untuk secara visual membuat ekspresi lambda kalkulus (lambdas, variabel, dan fungsi panggilan) dan mengevaluasi mereka. Coba boolean, angka gereja, atau combinator Y.

Karya besar pada tablet! Pada ponsel, bekerja terbaik dalam modus lansekap.

Perhatikan bahwa aplikasi tidak (belum) mengajar kalkulus lambda, jadi yang terbaik untuk memiliki sumber daya yang terpisah untuk itu (mis online atau kelas).