多くのプログラミング言語が歴史的理由とかで訳の分からない仕様を残す一方で、冥王星が歴史的理由よりも科学的な客観的事実を重視して惑星から準惑星にカテゴライズしなおしたのすごいな、って思う。
「準惑星とは～である。ただし、冥王星は歴史的理由により惑星とする」でいいじゃん。それをやらなかったことに科学と向き合う態度があるように思う。
プログラミング言語は歴史への依存があるからな……。