@alvinalexander @SethTisue @propensive hello 
- I came across code like that in lines 7-8 of contrived example https://scastie.scala-lang.org/philipschwarz/OcLua2VcQDmqSN2XVpCqsA/1 …
_ = if <condition> throw <exception>
it seems to me they can be rewritten as in lines 14-15
if <condition> || (throw <exception>)
Agree?
It looks the same. The exceptions are (maybe) thrown inside the `map` in the first version, and inside `withFilter` in the second. But in any case, it's quite an unconventional style to throw inside the generators of a for-comprehension. What was the original context?
-
-
thank you - rather than on Lists, the for comprehension operated on Futures, but yes, absolutely, it looks unconventional to me and suspect/suboptimal - but I couldn't help noticing that the _ = is unnecessary in any case
-
Different monad-like types might implement `map` and `withFilter` in ways which cause unexpected behaviour, so in the general case, there's no equivalence guaranteed.
- Show replies
New conversation -
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.