[progbits]

Error handling != exceptions.

Step one would bee sum types, so only valid value space can be represented (return value or error, but not both or neither).

[jmarchello]

Good point, a poor assumption on my part

[wizhi]

What would be the big gain from this, over the existing approach using multiple return values?