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.

کاوش در حساب لاندا بدون نوع گذاری، یکی از بسیاری از سیستم های اساسی در محاسبات. شروع با یک مجموعه قابل ملاحظه ای ساده از قوانین، همه محاسبات امکان پذیر است. اما فقط به خاطر قوانین ساده می کند حساب لامبدا معنا نیست آسان است: شما برخی از هوش و ذکاوت و خلاقیت نیاز به رسیدن به یک نقطه که در آن شما می توانید هر چیزی را محاسبه کند.

این برنامه اجازه می دهد تا شما را به صورت بصری عبارت حساب Lambda (تماس لامبداها، متغیرها، و عملکرد) ایجاد و ارزیابی آنها. سعی کنید از Booleans می، اعداد کلیسا، و یا ترکیب Y است.

این نسخهها کار بزرگ در قرص! در گوشی های تلفن، کار می کند در حالت افقی.

توجه داشته باشید که برنامه (هنوز) آموزش حساب لاندا، بنابراین بهتر است به یک منبع جداگانه برای که (به عنوان مثال آنلاین و یا یک کلاس).