Krótka droga do przejścia funkcji lambda zero-arit w OCaml

Question

Czy istnieje jakakolwiek krótka droga do przekazania funkcji zero-arności do innej funkcji. Na razie robię to tak:

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

Czy istnieje cukier syntaktyczny dla drugiej linii?

Answer 1

Jak o:

lazy (f a b c) 

do "zastosowania", użyj Lazy.force, jak w:

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

Znaczenie nie jest dokładnie taka sama jak (fun() -> ...) i ...() i to naprawdę nie jest krótsza. Być może, jeśli naprawdę potrzebujesz wygodnej składni dla lazy lub fun() -> powinieneś użyć rozszerzenia camlp {4,5} do tego celu.

Answer 2

Jeśli f zostały zdefiniowane jako f a b c() = ..., można po prostu zrobić a (f a b c), ale poza tym nie, nie ma krótszy sposób.

Jeśli chcesz można zdefiniować funkcję const tak:

let const x _ = x 

a następnie używać go tak:

a (const (f a b c)) 

Ale to naprawdę nie jest dużo krótszy (lub jaśniejsze) niż przy użyciu fun. Również natychmiast ocenia f a b c, co prawdopodobnie nie jest tym, czego chcesz.

PS: Pedant we mnie musi zaznaczyć, że (fun() -> ...) jest funkcją jednoargumentową i nie ma funkcji zero-arity w ocaml.