型が静的な言語なら