Тип вывода в OCaml

Question

Я пытаюсь обвести голову в виде вывода вывода OCaml.

Например:

# let f x = x [];; 
val f : ('a list -> 'b) -> 'b = <fun> 

имеет смысл для меня. Функция val f принимает функцию x, которая принимает список типа a и возвращает что-то типа b. Затем f возвращает тип «b», так как он просто вызывает x.

Однако, как только мы получаем больше аргументов, я становлюсь более смущенным.

# let g a b c = a b c;; 
val g : ('a -> 'b -> 'c) -> 'a -> 'b -> 'c = <fun> 

Могу ли я считать, что если функция имеет аргументы, то первые параметры вывода типа всегда будут аргументы? И если я назову a b c, это порядок ((a b) c) или (a (b c))?

# let rec h m n ls = match ls with 
    | [] -> n 
    | x::t -> h m (m n x) t;; 
val h : ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a = <fun> 

Как для этого я запутался о том, как («а ->» Ь -> «а) ->» а был получен. Я вижу, что «b список соответствует переменной ls, а последний» a соответствует типу терминального символа n.

Answer 1

Можно ли предположить, что если функция имеет аргументы, то первыми параметрами вывода типа всегда будут аргументы?

Да, первый параметр типа функции - это тип его первого аргумента.

И если я называю b c, это порядок ((a b) c) или (a (b c))?

Заказ ((a b) c) (вы можете думать в этом простом способе)

Как для этого я запутался о том, как («а ->» Ь -> «а) -> 'a был получен. Я вижу, что «b список соответствует переменной ls, а последний» a соответствует типу терминального символа n.

Вы правы. ls имеет тип 'b list и n имеет тип 'a.

Давайте думать о типе m:

1. Вы знаете n имеет тип 'a, так что вы можете получить (m n x) также имеет тип 'a
2. Вы знаете ls имеет тип 'b list, так что вы можете получить x имеет тип 'b
3. m принимает два аргумента типа 'a и типа 'b, а также производит результат типа 'a. Так, m имеет тип 'a -> 'b -> 'a

Таким образом, вся функция имеет тип ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a