2열
1답변
eager 평가에서 if-branch와 recursion을 인코딩하십시오.
2열
1답변
단순한 형식의 람다 계산식에서 닫힌 용어의 자유 변수에 대한 유도 가설
1열
1답변
람다 계산법에서 양수 및 음수 정수와 유리수를 정의하는 방법
1열
1답변
대체 모델이 클로저에서 작동합니까? 아니면 환경 모델이 필요합니까?
-5열
1답변
1열
1답변
2열
1답변
\ x -> \ x -> x alpha는 \ x -> \ y -> x와 동일합니까?
0열
1답변
1열
1답변
1열
3답변
if then else statue없이 회귀 적 계승 함수를 쓰는 법