Java の語彙で Maybe を説明してみる

java-jaで例外処理の話をしてきました - 西尾泰和のはてなダイアリーを読んで。 Maybe は値があるかないかを型で表すことができます!そう、直和型なんです!とか言われてもイミフだと思うのです(リンク先のエントリがそう説明してるわけではないですが)。 Java の語彙で Maybe の説明をできたら嬉しい人もいるんじゃない…