Haskellに登場するらしいモナドを少し勉強してみる。よくわからないが、試しにMaybeモナドをRubyで書いてみた。どこか間違えていると思うが、コードは下記。

class Maybe def Maybe.wrap( value ) Maybe.new(value) end attr_accessor :value def initialize(value) @value = value end def pass if @value.nil? Maybe.new(nil) else yield @value end end end def div6(x) if x == 0 nil else 6 / x end end def inc(x) x + 1 end def normal_div6_inc(x) rv = div6(x) if rv inc(x) else nil end end def maybe_div6_inc(x) Maybe.wrap( div6(x) ).pass {|v| Maybe.wrap(inc(v)) }.value end p maybe_div6_inc(2) # -> 4 p maybe_div6_inc(0) # -> nil

Maybeは実行が失敗し得る関数を合成する時に用いるらしい。上の例だと、div6は引数が0の場合、nilを返す。したがって、div6とinc合成する場合、if文による返り値のチェックが必要となる。この仕組みを抽象化してMaybeクラスに落とし込んでいる。

たしかに、関数合成を多用する関数言語では便利かも。

参考にしたページは下記。

http://moonbase.rydia.net/mental/writings/programming/monads-in-ruby/00introduction.html

http://howm.sourceforge.jp/cgi-bin/hiki/hiki.cgi?Monad