A Hindley–Milner type system allows a programming language's types to be inferred with few or no explicit type annotations. A unique property of Hindley–Milner type systems is that type constraints ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する