最終更新:2008-01-10 (木) 10:03:02 (5943d)  

静的型付け
Top / 静的型付け

静的な型付けを持つ言語において、変数や関数の型を宣言しなくてもそれを導くのに使われた関数の型シグネチャなどから自動的に型を決定する機構