Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
静的型付け(せいてきかたづけ、英: static typing)は、値やオブジェクトの型安全性を、コンパイル時に検証するというコンピュータプログラミングの型システムの方法である。型の検査はソースコードの解析によって行われる。変数代入、変数束縛、関数適用、型変換といったプログラム記述箇所での型
動的な型チェックは、代入、束縛、関数適用、ダウンキャスト、ディスパッチ、バインディングといった所で行われる。なお、コンパイル時やインタプリタ開始時の最適化によってすでに型安全性が保証されている所は省略される。動的型付けの言語では、引数や返り値や変数宣言への型注釈が省略されやすくなる。
〔動詞「付ける」の連用形から〕
(1)形・模様がついていること。 また, そのもの。
家畜などの繁殖や改良のために, 優良種の雄を雌に交配させること。
(1)「裏付き」に同じ。
(1)証拠や保証となるもの。