型を書けばチェックされて、省略したら動的になって
全体コンパイルもインタプリタ実行も出来る言語って無いの？