«lambda-calculus» 태그된 질문

폐쇄되었습니다 . 이 질문은 더 집중되어야 합니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 한 가지 문제에만 집중할 수 있도록 질문을 업데이트하십시오 . 휴일 오년 전에 . 나는 내년에 컴퓨터 과학에서 첫 해 (대학에서)를 시작하고 있으며 대부분 C로 씁니다. 나는 검색을 시도했지만 내가 찾은 것의 …

13 programming-languages  computer-science  lambda-calculus 

나는 λ- 미적분에 관한 철학적 질문이라고 부릅니다. λ 미적분을 탐험 할 때 거기에서 할 수있는 모든 일을보고 놀랄 것입니다. 정수, 산술 연산, 부울, if-then-else 문, 루프, 재귀 함수 등을 정의 할 수 있습니다. 계산이 완료된 것으로 확인되었습니다. 그러나 다른 한편으로, λ- 미적분의 함수로 할 수있는 일을 고려한다면, 함수를 공급하고 다른 …

11 computer-science  lambda-calculus