その感覚は理解できるけど、 Nothing の方が bottom type の本質を表している気がする。そして Nothing の対比としては Anything だろうなと。

9:56 AM

Kotlin は Any と Nothing だし、 Any は top type じゃなくて Any? が top とかグダグダ。

9:57 AM

Any と None とかでもいいのかもだけど、 Any と None が対として自然なのかわからない・・・。