用异常就不用每次调用方法之后都人肉拆包加判断(弄多一层括弧——你看,层次结构出来了吧?monad 有了吧?)了啊
嗯这本质上就是个 monad 罢了
unit x = Result(x)
map Result(x) f = Result(f(x))
map Except(e) f = Except(e)
join Result(Result(x)) = Result(x)
join Result(Except(e)) = Except(e)
join Except(E) = Except(E)
用异常就不用每次调用方法之后都人肉拆包加判断(弄多一层括弧——你看,层次结构出来了吧?monad 有了吧?)了啊
嗯这本质上就是个 monad 罢了
unit x = Result(x)
map Result(x) f = Result(f(x))
map Except(e) f = Except(e)
join Result(Result(x)) = Result(x)
join Result(Except(e)) = Except(e)
join Except(E) = Except(E)
网站
小程序
文章
会员