The more I work with IO[A] in Scala, the more it makes sense to me that IO needs to propagate it's failure type in the type encoding, making it IO[E, A]. I want to know which failures may happen, I don't want it hidden from me.
Show this thread
-
Why do you think it was more trouble than worth it? interested to hear.
There were a lot of type errors during maintenance when I introduced a new exception type into a computation. That ought to be a good thing, generally, but all those errors were handled in the same place, so the extra hard work fixing them was never actually useful...
