Maybeに限らずJavaで直和型を実現できるか - 貳佰伍拾陸夜日記

JavaでMaybeを説明した以下の記事について, id:tozimaさんと某所*1でやりとりしていたら, 有益な話が出てきたのではないか, ということになったので, 紹介. 基本的にやりとりをそのまま*2抜粋したものに, 適宜補足を加えていきます. 発端 2012-06-29 04:29id:tozima こんな記事があった。 Java の語彙で Maybe を説明してみる - ぐるぐる～ 直和型のエンコーディングである、 でMaybeモナドを説明している、まっとうな記事です。気になったのは、上のエンコーディングを Java の上でやって、なにか変なことが起きないのかということ。例えば記事中では、 *3 みたいなことが、Javaでは禁止できない、ってことについて触れています。この他には変なことはおきないんでしょうか？ 僕には全然Java的な言語への直感がないので教えてください！！！ 「.

[Nagise]

直和型

[kyon_mm]

すごく丁寧に解説されていてわかりやすかったです。TaPL読んでいなくてもわかる。

[matarillo]

C#の場合Maybe<T>を構造体(nullなし)にすることもできるしnew T()もできるから、少し楽になるかもな。今度考えてみよう。

[h-hirai]

もうさっぱりわけが分からないけど、いちおうぶくま。