다른 기능을 얻을 수있는 기능을 무두질 다음은 등> '는

Question

감안할 때

고차 기능 단위 incr ~ call, 람다를 사용하지 않고 : (fun() -> incr 1)?

분명히 함수가 "완전히 적용되었습니다"이므로 (incr 1)을 전달하면 작동하지 않습니다.

편집

는 명확히하기 위해 : 나는 궁금하네요은 함수가되도록, 기능을 카레 할 수있는 방법이 있는지 : unit -> 'a.

Answer 1

당신은 자신과 같은 바로 가기 정의 할 수 있습니다 :

이

let ap f x = fun() -> f x 

call (ap incr 1) 

당신이 변환하고자하는 함수는 순수 기능으로 발생하는 경우, 대신 상수 함수를 정의 할 수 있습니다

let ct x _ = x (* const is reserved for future use :(*) 

call (ct (incr 1)) 

Answer 2

그것은 외모를 더 엄격한 F #에 게으름을 추가하려는 시도와 비슷합니다. 그리고 사실에는 F에 #을위한 시설이 내장되어 있습니다 : http://msdn.microsoft.com/en-us/library/dd233247.aspx - lazy 키워드 플러스 어색한 Force :

이

let incr i = 
    printf "incr is called with %i\n" i 
    i+1 

let call (f : unit -> 'a) = 
    printf "call is called\n" 
    f() 

let r = call <| (lazy incr 5).Force 

printf "%A\n" r