1/6

Lambda Calculus Playground

Alan Pierce

信頼済

1K+ダウンロード

1.5MBサイズ

4.0.3 - 4.0.4+

Androidバージョン

1.1.0(10-10-2020)最新バージョン

(0 レビュー)

PEGI-3

ダウンロード

詳細レビューバージョン情報

1/6

Lambda Calculus Playgroundの説明

Explore the untyped lambda calculus, one of most fundamental systems in computing. Starting with a remarkably simple set of rules, all computation is possible. But just because the rules are simple doesn't mean the lambda calculus is easy: you'll need some cleverness and creativity to get to a point where you can compute anything.

This app allows you to visually create lambda calculus expressions (lambdas, variables, and function calls) and evaluate them. Try out booleans, church numerals, or the Y combinator.

Works great on tablets! On phones, works best in landscape mode.

Note that the app does not (yet) teach the lambda calculus, so it's best to have a separate resource for that (e.g. online or a class).

Lambda Calculus Playground - バージョン 1.1.0

(10-10-2020)

他のバージョン

新機能は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.

まだ、レビューや評価はありません。して最初のレビューワーになってください。

0 Reviews

5
4
3
2
1

Lambda Calculus Playground- APK情報

APKバージョン: 1.1.0パッケージ: com.alangpierce.lambdacalculusplayground

Androidでの対応: 4.0.3 - 4.0.4+ (Ice Cream Sandwich)

開発者:Alan Pierce許可:0

名前: Lambda Calculus Playgroundサイズ: 1.5 MBダウンロード: 1バージョン : 1.1.0リリース日: 2020-10-10 21:04:36最小スクリーン: SMALLサポートされたCPU:

パッケージ ID: com.alangpierce.lambdacalculusplaygroundSHA1署名: 6E:E6:92:7A:EB:C3:E5:0C:F4:9D:88:B5:A6:AF:D6:D5:87:56:2F:1E開発者 (CN): Alan Pierce組織 (O): 地域 (L): 国 (C): 都道府県/州/市 (ST): パッケージ ID: com.alangpierce.lambdacalculusplaygroundSHA1署名: 6E:E6:92:7A:EB:C3:E5:0C:F4:9D:88:B5:A6:AF:D6:D5:87:56:2F:1E開発者 (CN): Alan Pierce組織 (O): 地域 (L): 国 (C): 都道府県/州/市 (ST):