戻る

これは個人的な感覚で正しさを保証るものではないけど、 null を適切に排除するには型システムと文法の両面での言語レベルでの支援が必要だと思っていて、具体的には

* 代数的データ型
* 高階関数を渡せる仕組みや類似する演算子
* null を得てしまったとき適切に大域脱出できる構文

あたりが必要かなと。これが揃ってないと、「それっぽいものはあるけど不便」ということになりやすい印象