となると例えば
「全ての変数等には明示的な型の宣言が必要で、一方でインタプリタであり、全体の実行前には型検査は行われず、実行時に型検査を行う」って珍妙な環境があったとしたら、それは「実行時までに型検査は行われないけど、静的型つけな言語」になる？＞＜；
検査が実行時ってだけであって、実行前に型は決まってる(ただしエラーが含まれている可能性がある)ので＞＜；