Quantcast
Channel: Active questions tagged ocaml - Stack Overflow
Viewing all articles
Browse latest Browse all 529

Why is type-level function application written in reverse order compared to value-level function application in OCaml?

$
0
0

In OCaml, function application syntax has the function first and argument second:

f 123

But for functions at the type-level, it's written in the opposite order:

let x : int option = None

If option is thought of a function at the type-level, then why is it not written like this?

option int

Is there a technical or perhaps historical reason?


Viewing all articles
Browse latest Browse all 529

Trending Articles