まあ動的型付け言語で書かれててもコードの中に型はあるんだけど（人類が読み取るのが大変なだけで）