>>928
コンパイル時に必ず型がわかる
それが静的型付け言語
抽象型であろうとどの抽象型なのかわかる