Comment by xvilka

Someone who needs types could just write in a strongly-typed language.