Sounds very similar to annoying Java checked exceptions for stuff like 'new URL("http://example.com http://example.com")' -- it can't fail, but you have to catc

Sounds very similar to annoying Java checked exceptions for stuff like 'new URL("http://example.com http://example.com")' -- it can't fail, but you have to catch it. The industry dealt with that by using your own utility functions like "create an Url and convert exceptions to runtime ones" (Java folks don't focus that much on quick pet projects, so don't mind extra work).