Associativity

Documentation and user's manual

Table of contents

OCaml programs

Associativity

The  ->  operator is right-associative in type expressions as well as in function definitions. For instance int -> char -> string means int -> (char -> string) For instance function x -> function z -> x + z means function x -> (function z -> x + z)

Function application is left-associative. For instance, assuming  unary_of_int_add  is bound to the value of  function x -> (function z -> x + z) . Then: unary_of_int_add 5 8 means (unary_of_int_add 5) 8 which can also be written (unary_of_int_add (5)) (8)

Associativity

Documentation and user's manual

Table of contents

OCaml programs