lambda-calculus

8열

1답변

(cons [p] [q]) is ((s ((s i) (k [p]))) (k [q])) (car [lst]) is ([lst] k) (cdr [lst]) is ([lst] (k i)) 이 목록을 작성하고 싶습니다. (cons [a] (cons [b] (cons [c] [nil]))) : 다음과 같이됩니다. ((s ((s i) (k [a]))) (k

13열

1답변

람다 미적분학과 교회 숫자 혼동

나는 람다 미적분학과 교회 숫자의 기초를 이해하려고 노력하고있다. 나는 많은 독서와 연습을 해왔지만, 나는 어떤 기능이 어떻게 작동하는지 보려고 애 쓰고있는 것 같다. 내가 붙어있는 예제는 다음과 같습니다. 아마도 누군가 내가 잘못한 곳을 설명 할 수 있습니다.로 교회 숫자가 표현 될 수있다 : λm. λn. n m 모든 내가 원하는 :가 λf. λx.

1열

2답변

당신이 알고있는 우아하고 튜링이 완벽한 기계 *는 무엇입니까? The Book의 책이 있나요?

물론 람다 계산법은 꽤 우아하지만 함수의 입력과 출력간에 이러한 비대칭 성이 있다는 것을 귀찮게하지 않습니까? 나는. 함수를 두 개의 매개 변수를 사용하여 만들 수 있지만 두 개의 값을 반환 할 수는 없습니다. The Book에서 찾을 수있을 것 같지 않습니다.

6열

4답변

수학 및 프로그래밍 언어의 수렴

수학 및 컴퓨터 프로그래밍 언어의 수렴을위한 강력한 움직임이있는 것으로 보입니다. 이는 근대 언어에 대한 람다 미적분의 영향으로 분명히 입증됩니다. 대부분의 경우 수학으로 생각하지 않지만 논리로 생각합니다. 수학적으로 모델링 할 수있는 많은 현상을 논리적으로도 모델링 할 수 있습니다. 우리는 범용 프로그래밍을 위해 순전히 논리적 인 언어 나 순전히 수학적으