> Forcing programmers to consider division by zero when it occurs can be done simply by having the language compiler force handling of a divide by zero exceptio

> Forcing programmers to consider division by zero when it occurs can be done simply by having the language compiler force handling of a divide by zero exception when division occurs. That's materially different than a non-zero type, and IMO it's meaningfully worse. The type checker is most useful when it moves information.