スキーマ・データ型

Schema Data Typeは、Parameter、FieldなどのValue Domainで使用するDomain Typeの記号的で宣言的な記述です。値の意味を識別し、正規化または変換の方式を選択するキーになります。

simplemodeling-libでは、 org.goldenport.schema.DataType がこの役割を担い、 XString 、 XInt 、 XZonedDateTime などを定義します。Valueの抽出、Multiplicityの検証、正規化、Constraint検証を統合する境界は OperationDefinition.resolveParameter です。

CanonicalDataType[T] はNormalizerを提供する特殊化ですが、Schema Data TypeをScalaの汎用Type Constructor DataType[A] として扱うものではありません。