назвать выведенный тип в OCaml

Question

Предположим, у вас есть объявление с выведенной типа:

let f x y = x +. y 

Теперь, если вы используете этот тип в какой-либо другой выведенной типа:

let g h x = (if x > 0. then h else f) x x 

Вы, очевидно, есть тип-идентификатор между h и f. Если, однако, тип f усложняется, и вы все еще хотите, чтобы это было сделано (например, вы создаете код), тип g легко становится нечитаемым.

Есть ли способ представить декларацию типа в виде:

type mytype = <type of the function f above> 

И есть проверки типов клюшки к нему, то есть в приведенном выше примере, он должен дать:

val g : mytype -> float -> float 

Answer 1

Вы можете сделать это, коснувшись через класс. Имя класса означает синоним типа, который вы не можете написать самостоятельно.

let f x y = x +. y 

class t = object 
    method f = f 
end 

let f_short = new t 

let g h x = (if x > 0. then h else f_short)#f x x 

Несчастливо, у этого будет некоторое время выполнения. Если вы в отчаянии, вы можете дублировать все определения, вызывая неклассические и используя другие для ошибок типа - это было бы довольно неясным.

Answer 2

Конечно, вы можете, функция в OCaml - это просто регулярное значение, которое имеет тип. Например, для функции f используется float -> float -> float. Вы можете создать тип аббревиатуру для этого типа:

type binop = float -> float -> float 

Вы можете позже обратиться к этому типу, чтобы сделать пометки типа лаконичнее:

let g : binop -> float -> float = fun h x -> (if x > 0. then h else f) x x; 

Но обратите внимание, что система типов в OCaml является структурным , но не номинальным. В условиях неспециалиста это означает, что типы проверяются не по имени, а по содержанию, если только вы не скрываете содержимое путем абстракции модуля. Таким образом, это binop является только аббревиатурой, тип по-прежнему float -> float -> float