Lambda Calculus Playground 1.1.0
Lesen: Percuma Saiz fail: 1.36 MB
Penarafan Pengguna: 0.0/5 - 0 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang Lambda Calculus Playground
Terokai kalkulus lambda yang tidak ditaip, salah satu sistem yang paling asas dalam pengkomputeran. Bermula dengan satu set peraturan yang sangat mudah, semua pengiraan adalah mungkin. Tetapi hanya kerana peraturan yang mudah tidak bermakna kalkulus lambda adalah mudah: Anda memerlukan beberapa kelembutan dan kreativiti untuk sampai ke titik di mana anda boleh mengira apa-apa. Aplikasi ini membolehkan anda membuat ungkapan kalkulus lambda secara visual (lambdas, pembolehubah dan panggilan fungsi) dan menilainya. Cuba boolean, angka gereja, atau kombinator Y. Berfungsi hebat pada tablet! Pada telefon, berfungsi dengan baik dalam mod landskap.