scala.util.Try(42).flatMap(sys.error(_)) // is not the same as ⊥ - a violation of the left identity monad law!
-
-
Replying to @puffnfresh
@puffnfresh also doesn't compile ;-) Is there any way to turn exceptions into values that is sound? I mean, apart from wrapping in catchers…1 reply 0 retweets 0 likes -
Replying to @puffnfresh
@puffnfresh right, so, (thunk).point[ErrorOr[A]] should not be allowed to catch1 reply 0 retweets 0 likes
Replying to @jedws
@jedws @puffnfresh catch should be a well typed function, not a keyword that causes crazy days.
2:04 AM - 13 Aug 2013
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.