모든 기능이 정식 형식의 프로그래밍 기능이 있습니까? 즉, 모든 입력 집합에 대해 동일한 값을 반환하는 두 함수는 같은 방식으로 표시됩니다. 예를 들어 f (x)가 x + 1을 반환하고 g (x)가 x + 2를 반환 한 경우 f (f (x )) 및 g (x)는 프로그램이 컴파일 될 때 구별 할 수없는 …
AFAIK, 고차 함수 사용에 대한 첫 번째 증거는 Schönfinkel의 1924 년 논문 인 "수학적 논리의 빌딩 블록에 관한 것"으로 되돌아갑니다. 흥미로운 것 같습니다. 그러나 그의 작업 (및 Curry의 확장 기능)에 대해 읽은 모든 것은 어떤 형태 또는 다른 형태로 한 가지를 암시하는 것처럼 보입니다. [고차 함수] ... 이것은 바운드 변수의 …