OCaml에서 zero-arity λ 함수를 전달하는 짧은 방법

Question

다른 함수에 zero-arity 함수를 전달할 짧은 방법이 있습니까? 지금은 다음과 같이합니다.

let f a b c = ...;; 
a (fun() -> f a b c) 

두 번째 줄에는 구문 설탕이 있습니까?

Answer 1

에 대해 어떻게 :

# let l = lazy (2+2) ;; 
val l : int lazy_t = <lazy> 
# Lazy.force l ;; 
- : int = 4 

의미는 정확히 (fun() -> ...) 및 ...()과 동일하지 않습니다 그것은 정말 짧은 아니다 :

lazy (f a b c) 

이 같이 Lazy.force을 사용, "적용"합니다. 아마도 lazy 또는 fun() ->에 대한 편리한 구문이 필요한 경우 해당 목적에 camlp {4,5} 확장자를 사용해야합니다.

Answer 2

f이 f a b c() = ...으로 정의 된 경우 a (f a b c)을 수행 할 수 있지만 그 외에는 더 짧은 방법이 없습니다.

이 같은 기능 const을 정의 할 수 있습니다 당신이 원하는 경우

let const x _ = x 

을 그리고 다음과 같이 사용 :

a (const (f a b c)) 

을하지만 실제로 사용하는 것보다 훨씬 더 짧은 (또는 명확하게) 아니다 fun. 또한 즉시 f a b c을 평가합니다. 어쨌든 원하는 것은 아닙니다.

추신 : 내 속의 브랜치는 (fun() -> ...)이 단항 함수이며 ocaml에 제로시 함수가 없음을 지적해야합니다.