Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
サブタイピング(英: subtyping)や部分型とは、型のポリモーフィズムの形態であり、上位と定義された型を、その下位と定義された型で、型安全性に則って代替できるというプログラミング言語理論(英語版)の概念および実装を意味している。 スーパータイプは、そのサブタイプ