表現のない型を持つ言語の開発者なら誰でもそうです。