僕にとってMaybe / Nullable / Optional が、どうしてもしっくりこないわけ。 - 亀岡的プログラマ日記

はい、ポエムです。自分が正しかろうとは欠片も考えていません。異論や示唆は歓迎ですが、そう考えろと言っているわけではないので、そこはご容赦を。 前置き終わり。 さて、Nullは50億ドルの過ちだそうですね。 null参照の考案は10億ドル単位の過ち？ | スラド デベロッパー そして、それを回避するため、Maybe / Nullable / Optional などの言語機能が生まれ、各言語に埋め込まれています。 それは、大変喜ばしいこと、だと思います。 なんですが、どうもどうも、僕はどうしてもしっくりこないのです。これら全てに対して。Nullと同じように。 Nullは何がダメなんだっけ？ Nullがダメな理由、ってなんなんでしょう。よく言われる批判として、以下があるのかなぁと思っています。 ①Nullは型ではない Nullと言っていますが、こいつはNullポインタ、でございます。 からの「何

[kmizushima]

if乱発については、Option/Maybe モナドで解決済みの問題ではないかと。というか、そのためにモナドになっているというべきか。

[u_1roh]

ifの乱発を強制されることによって下手な設計が否応なく可視化されているということではないかなあ

[Nnwww]

OOPにそのまま輸入したら違和感があるという話、もう少し穏健に「可能であればそうしたほうが良い」ならきょんさんのコメが納得出来る話でした、後手続き的という下りは少し違う気が(余白が足りない

[adwd118]

NullObjectだとuser = findUser(id); print(user.name);みたいなのでどうなるんすかね？MaybeとかならuserがNoneなのでprint("not found")かな？user.nameが"not found"になる？

[td2sk]

"空のときにどう振る舞うべきか"という判断の責任が、オブジェクトに属するべきことか呼び出し元のロジックなのかで使い分ければいい

[yojik]

翻訳すると、「Nullが返る場合の処理を呼び手側に意識させたくない場合があって、その場合はOptionalよりNullObjctパターンが良い感じがする」ということですね。設計をOO流儀に寄せるならそういう考え方もわかる。

[moccos_info]

Null Objectを引きあいに出さずに(知らずに)議論しているのを見かけてもにょることはある。よくある

[lizy]

SmalltalkのifTrue:ifFalseみたいにifNull:ifNotNullをNullObjectか否かで振る舞いを変えると言うこと？

[indication]

プリミティブ型で、例外発生時に例外を投げるかnullを返すかどうか選択出来るようにしたら、かなりはかどると、想定してる。ちなみに、out演算子も考えたよ。ただし、答えは出てない

[rryu]

ウェブアプリで該当するデータがなかったら404を返すという処理は頻繁にあるけど、これをNullObjectで実装するのは明らかに不適切なので、NullObjectで実装できなければおかしいというのは無理すぎると思う

[nazoking]

クラスをもっと分割すれば Nullable/Optional にしなくていい部分が増えるはず=そうすべきで、NullObject は関係ない気がする

[mandel59]

これについて後でブログ書く

[sonota88]

検査例外感ある

[krrrr]

https://twitter.com/qtamaki/status/669114418353991680

[qtamaki]

新しい概念に順応する過渡期なんだろうね

[keijak]

if乱発云々が的はずれなのはともかく、NullObject が適切な場面では無理に Maybe を使う必要ないんでは。その二つは適材適所で使い分けが可能だと思う。

[dsl]

ぬるぽ

[ruicc]

失敗の表現の問題と、失敗時の処理をどこで行うかの問題であって、適切に出来てるなら割とどうでもいいです。ただ継承が好ましくないこととparametricityが好ましいことから僕はMaybe等を使いますね（OOは考慮してません）

[todesking]

Null Objectを定義できなかったらクラスの設計が間違ってるというのは相当な過激派だな。たとえば「指定した要素がない場合に返されるNullオブジェクト」はどういう挙動をすればいいのか

[igrep]

flatMapとかを使えばいいって話ではないのかなぁ。

[Dryad]

不変なデータと操作を切り離す、という関数型的な考え方はオブジェクト指向とはアプローチが少し違うからねぇ。ちなみに非オブジェクト指向が直ちに手続き的ということはないと思う。