(programming) A major type system where compatibility and equivalence of data types are determined by explicit declarations or the names of the types.
nominative type system
多くの静的型付け言語では、名前に基づく型システムにより、型の名前や明示的な宣言が一致しない限り、異なる型間の誤った代入が防がれます。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
