For some reason, Option.fold is curried but Either.fold is not. All in all, I prefer the way Either does, it makes it so much more natural to use named arguments to disambiguate the call
-
How does the type inference change in Scala 3 for this case?
Scala 3 will not fix the type of the default case as the most precise type which confirms to the parameter value. It will retain a range of types which can be further refined by the return type of the second parameter. It fixes the type only lazily.
-
-
And most importantly, it solves the issues with too specific types being inferred after the first parameter list of Option#fold!https://youtu.be/lMvOykNQ4zs
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.