タグ

software-engineeringとnominal-type-systemに関するnabinnoのブックマーク (1)

  • 抽象型 - Wikipedia

    この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。(2021年11月) 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。(2021年11月) 独自研究が含まれているおそれがあります。(2021年11月) 出典検索?: "抽象型" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 抽象型(ちゅうしょうがた、英: abstract type)とは、コンピュータプログラミングの型システムのうち、名前的型システム (nominal / nominative type system) [注釈 1][1]における型の一種であり、直接インスタンス化することができないという特徴を持つ。対義語は

  • 1