レコードラベルはグローバルに一意である必要がありますか？

Question

可能性の重複：OCamlの3.12.0で
Two fields of two records have same label in OCaml

、それは、レコードのいずれかのラベルがグローバルにユニークな名前を持っている必要がありますか？

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"}