Handling results with map, map_err and .ok is way easier to follow that the minimum 4 lines you have to add in Java to do anything about a checked exception (try {} catch {}).
Explicit error handling/ignoring/passing is way better than implicit, so the direction of checked exception is good.
The debate is not really checked exceptions vs Result, it's try/catch vs map_err (and friends). And will always chose the latter.
Phrased another way, Java's syntax is fairly verbose for everything, not just for try-catching to handle exceptions.
> But, this isn't you complaining about checked exceptions vs Result
Yes, I said so exactly
> The debate is not really checked exceptions vs Result, it's try/catch vs map_err (and friends)
The fundamentals are the same, you are forced to handle/discard/Buble up any error, but in my mind (and I assume a lot of other developers), the word "exception" means try/catch, even though like I said the fundamentals are the same.