1/6
Lambda Calculus Playground
인증완료1K+다운로드
1.5MB크기
4.0.3 - 4.0.4+1.1.0(10-10-2020)최신 버전
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.
Lambda Calculus Playground - APK 정보
APK 버전: 1.1.0패키지: com.alangpierce.lambdacalculusplayground이름: 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):
Lambda Calculus Playground의 최신 버전
1.1.0
10/10/20201 다운로드1.5 MB 크기
동일 카테고리의 앱
English
