どちらも確かにと思うところがあるし、2つ目はどうなるんだっけと悩んだ記憶もありますね

12:06 PM

本質的に実体が異なるものを文法とコンパイラによってほとんどWrappedとして扱えるように隠蔽していた部分でエッジケースで齟齬が出るのはしょうがないという感じもしますね

12:08 PM

Optionalが仮にKotlinやTSのようなUnionだったらどう不便になるんだろう？

12:08 PM

そもそも値型が扱えないとかの問題になるのかな