Изменить заказ приложения в OCaml

Question

Есть ли способ изменить порядок от лево-ассоциативного к право-ассоциативному, кроме круглых скобок? Например, в Haskell вы можете написать foo $ bar b, а foo будет применен к результату от bar b.

let a x = x * 4;; 
let b y = y + 2;; 

let c = a ??? b 3;; 

print_int c;; 

Если печать 20

Answer 1

Конечно, вы можете определить сам:

let (@@@) f x = f x 

Затем a @@@ b 3 оценивает 20. Убедитесь в том, чтобы выбрать отправной символ так, чтобы она правоассоциативная (see here) ($... - левый ассоциативный)

Answer 2

Вам просто нужно определить символ для таких приложений:

let (@@@) f x = f x ;; 

И тогда

let f x = x * 4;; 
let g y = y + 2;; 
let a = f @@@ g 3;; 
print_int a;; 

делает Распечатайте 20.

Обратите внимание, что в следующей версии OCaml (3.13 или 4.00) обеспечит встроенные примитивы для приложений, которые не создавать промежуточные частично применяемые функции:

external (@@@) : ('a -> 'b) -> 'a -> 'b = "%apply" 
external (|>) : 'a -> ('a -> 'b) -> 'b = "%revapply" 

Последнее, что противоположно %apply :

print_int (3 |> g |> f);; 

Обратите внимание, что вы не можете использовать ($), как это левоассоциативные в определении OCaml парсер:

let ($) f x = f x ;; 
let a = f $ g 3;;  (* ok ! ??? *) 
let a = f $ g $ g 3;; (* ERROR -> g is not an integer, 
         because OCaml computes (f $ g) first *)