2 ms·

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 t

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.