とか書いとくと、「型安全」とは何か、みたいなマサカリが飛んできて勉強になりそうなのでこういうタイトルにしています。 型安全って何なのかあまり理解できてないので、コメント欄とかTwitter（@yutannihilation）でこっそり教えていただけると助かります…