動的型付けと言うか型アノテーションを省くのって意図を記述しないのと同じようなものなんだから、実行するまで検査のしようが無いのでは？＞＜
ってオレンジは考える＞＜
テストコード無しに自動テストできないよね的な＞＜（ここは変な事言ってるかもしれない＞＜；）