ゆるふわでも型システムは型システムだし、ほんとのほんとに(言語側には)型が無いBCPLみたいなのじゃなければ、モダンな言語であれば大半の言語は型システム自体はあるかも？＞＜