型チェックって動的型付けなら数字か文字かリストかくらいでしょ？
いちいち宣言で型を書かなきゃいけない面倒くささと比べれば
型のチェックなんて自分でやればいいんじゃねの？