현재 람다 미적분 해법을 만들려고하고 있는데, AST 구축에 약간의 문제가 있습니다. 람다 수학 용어 유도 같이 정의된다 1) 변수 2) 람다 가변 도트 및 람다 식. 3) 대괄호, 람다 식, 람다 식 및 대괄호. 내가하고 싶은 무엇 (처음에는 시도)이 있습니다 : data Expr =
Variable
| Abstract Variable
람다 미적분학의 정식 설명을 읽을 때, 변수 세트는 항상 무한대로 정의되는 것으로 보입니다. 이 세트가 유한 할 수없는 이유는 분명합니다. 변수 세트를 유한으로 정의하면 용인 될 수없는 방식으로 용어 구조가 제한됩니다. 그러나 세트가 무한대로 무한하게 허용하지 않는 이유는 무엇입니까? 현재 내가받은이 질문에 대한 가장 분별있는 대답은 셀 수없이 무한한 변수
저는 기능 프로그래밍에 대한 Coursera 과정에서 일하고 있으며 어느 시점에서 값 별 호출과 이름 별 호출 평가 기법의 차이점을 논의합니다. 그들은, 그들이 나를 혼란 어떤 점을 말하는 것 : 감소 된 표현은 순수 기능으로 구성되어 있으며 모두 평가 종료 :로 두 기술 한 같은 최종 값으로 감소 이것은 람다 미적분학의 정리 인 것으로 보인다. "감소 된
FP와 그 주변을 둘러싼 모든 것을 파헤 치고 있습니다. 자세한 내용이나 설명없이 어딘가에서 작성된 종류 프로젝터의 개념을 발견했습니다. 내가 발견 한 유일한 것은이 github project이었고,이 특정 프로젝트 또는 FP의 일반적인 개념을 언급하고 있었다면 생각하기 시작했습니다. 그래서 종류 프로젝터 란 무엇입니까? 왜 그렇게 유용합니까? (가능한 경
람다 미적분학을 배우고 있습니다. 그러나 나는 람다 미적분학의 한정어에 대해 매우 혼란스러워합니다. 내가 아는 한, "∃"와 같은 양화어는 λ 계산법에 필요하지 않은 1 차 논리 (FOL)의 개념입니다. 게다가, 내가 읽은 튜토리얼에서 수량 한정어에 관해서 아무 것도 발견하지 못했다. 하지만, I는 this paper 찾을 저자 람다 계산법의 정량을 사용하
순수한 람다 계산법 (실제로는 이진 트리가 목록 형식 ([Root, [Left SubTree], [Right SubTree]] 형태)으로 가장 한 목록을 작성하려고하지만이 특정 질문의 목적을 위해 람다 계산법의 일반 목록에 대해 설명 할 수 있음). 람다 계산법의 몇 가지 기본 정의 (라켓 구문으로 표현) 나는이 질문에 사용할 것 : 목록이 비어있을 때 (
정규화 (람다 아래에서의 대체 포함)를 "최적화"로 사용하는 형식화 된 람다 - 미적분의 단순한 컴파일러 (비단 말 및 암시 적 재귀 문제를 제외)를 상상해보십시오. 대부분 또는 모든 변수를 한 번만 사용하는 간단한 프로그램의 경우 정규화로 인해 프로그램이 더 짧아지고 빠릅니다. 제게는 "명백합니다"일반적으로 좋은 생각이 아닙니다. 즉, 정규화로 공유가 줄
중첩 된 기능 : 내가 ((twice)(trans))(plus_one)(1) 을 평가하려고 할 때 function plus_one(x) {
return x + 1;
}
function trans(f) {
return function(x) {
return 2 * f(2 * x);
};
}
function twi