[Jtsummers]

You can with Ada. Though not many other languages.

[the_duke]

You can do it in most languages by just using a wrapper type with fallible constructors.

A lot more awkward than dependent types, but no popular language has those.