Was thinking about checked/unchecked math, and I think the easiest would be making the default syntactic sugar reduce to the checked math implementation, and the unchecked version would require the user to explicitly use Unchecked.add(x, y) -> z
The unchecked {} block syntax in solidity is nice, but not sure yet it is worth the added complexity (tracking mode within sub-blocks). It is rarely used for need, in many cases it is used for hyper-optimized code. And those optimization cases ideally can be solved by a smarter compiler/language.
Was thinking about checked/unchecked math, and I think the easiest would be making the default syntactic sugar reduce to the checked math implementation, and the unchecked version would require the user to explicitly use
Unchecked.add(x, y) -> zThe
unchecked {}block syntax in solidity is nice, but not sure yet it is worth the added complexity (tracking mode within sub-blocks). It is rarely used for need, in many cases it is used for hyper-optimized code. And those optimization cases ideally can be solved by a smarter compiler/language.