Avatar
その感覚は理解できるけど、 Nothing の方が bottom type の本質を表している気がする。そして Nothing の対比としては Anything だろうなと。
9:56 AM
Kotlin は AnyNothing だし、 Any は top type じゃなくて Any? が top とかグダグダ。
9:57 AM
AnyNone とかでもいいのかもだけど、 AnyNone が対として自然なのかわからない・・・。