如果单位=成功,是否尝试monad？

Question

有unit = Try,Try不是单子,因为左单位法失败了.

 Try(expr) flatMap f  !=  f(expr)

但问题是什么:Try如果是单身人士unit = Success吗？

在这种情况下:

 Success(expr) flatMap f  ==  f(expr)

所以这是一个单子.

我的理解是否正确？

Answer 1

在coursera论坛中从Alexey的帮助中得到答案：

当unit = Success，对于左单位定律：

Success(throw new Exception) flatMap f == f(throw new Exception) // holds
Success(s) flatMap (x => throw new Exception) == Failure(new Exception) // does not hold

它实际上又输了，除非你当然重新定义 flatMap 来重新抛出异常，从而失去了主要功能 Try