람다 계산법 :

Question

을 무두질하지 않고 단일 매개 변수로 두 개의 값을 전달 다음 베타 감소가 지정되지 않은 람다 계산법에 허용되는 이유는 이해할 수 없다는 :

특히

(λx.x y) (u v) -> ((u v) y) 

나는 하나가 두 개의 매개 변수 u 및 v을 전달할 수있는 방법을 이해할 수 없다 λx.x 부분의 단일 매개 변수 x으로 위와 같이 허용하려면 currying을 사용하지 말고 두 개의 매개 변수를 사용해야합니다. 이 —

(λx.(λy.(x y))) (u v) 

Answer 1

처럼 특별히 내가 하나가 U와 V

당신은 두 개의 매개 변수 u 및 v을 통과하지 않는 두 개의 매개 변수를 전달할 수있는 방법을 이해할 수 없습니다. 하나의 값 또는 용어 인 (u v)을 전달 중입니다. u의 값이 v에 적용됩니다.

일반 산술와 비교해 : x+1가 단일 값을 나타냅니다 때문에 sin(x + 1) 같은 복합 용어 등 sin 같은 기능을 적용 할 수 있습니다,이 기능 + 2 인자 x 및 1의 적용에도 불구하고.