Можем ли мы определить типы внутри функции в OCaml?

Question

Я новичок в OCaml. Я хочу определить тип, который используется только в одной функции. Я не хочу делать это доступным вне этой функции. Можем ли мы определить его внутри этой функции? Или есть другой способ добиться того же?

Answer 1

Если у вас есть последняя версия OCaml, вы можете использовать локальный модуль:

let f x = 
    let module Local = struct 
    type t = A | B 
    end in 
    ... 

Это может быть более естественным для определения типа на верхнем уровне и просто оставить его из .mli, хотя: что будет держать его глобально скрытым, хотя он будет видимым для другого кода в файле.