こんにちは、誰かがタイプが以下に概説されている理由を説明してもらえますか? int でなければならないことは理解していますx+y+z
が、引数の数 (つまり->
) は私には恣意的に見えるからです。
let f x y z = x+y+z in f 1 2 3 // int
let f x y z = x+y+z in f 1 2 // int -> int
let f x y z = x+y+z in f // int -> int -> int -> int
ありがとう!