前にツイッターで、情報系の大学院の修士の方が「型システムって必要なんだろうか？」的な思索をはじめた(不要だ！って感じじゃなく純粋な疑問で)時に、オレンジは「現実にも型システムのようなものがあるよ＞＜」って曜日と色を例に出したら「でもそれは定義の問題であって、その色に曜日の振る舞いを定義してあげれば」って、
で、オレンジが「それが型システムかも？＞＜」って指摘して、つまり再発明して理解したって事もあった＞＜