Этикетки должны быть уникальными во всем мире?

Question

Можно создать дубликат:
Two fields of two records have same label in OCaml

В OCaml 3.12.0, является необходимым, чтобы любые метки записи имеют глобально уникальные имена?

type foo = { a : int; b : char; } 
# type bar = {a : int; b : string};; 
type bar = { a : int; b : string; } 
# {a=3; b='a'};; 
    {a=3; b='a'};; 
Error: This expression has type char but an expression was expected of type 
     string 

Я думаю, если запись создана анонимно, единственный путь для компилятора, чтобы узнать, какой тип я имею в виду, это имена записей. Означает ли bar скрыть foo?

Answer 1

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

Объявление bar не скрывает foo; поэтому вывод типа нарушен, если ссылаться на поле b.

Вы можете легко создавать подмодули и использовать имена модулей для различения между записями с тем же метким:

module Foo = struct 
    type foo = {a: int; b: char} 
end 

module Bar = struct 
    type bar = {a: int; b: string} 
end 

let f = {Foo.a = 3; b = 'a'} (* Note that we only need to use module name once *) 
let b = {Bar.a = 3; b = "a"}