iron

Type system makes a huge difference especially things like refined types: https://github.com/Iltotore/iron Shifts entire classes of errors to compile time.

> I believe this sort of thing has a name, […] https://en.wikipedia.org/wiki/Refinement_type But the concept is just a little bit over 30 years old. So don't expect it shows up in most mainstream languages before the end of the next 20 years, and don't expect it to come to the C languages ever. Meanwhile in mainstream ML-land: https://github.com/Iltotore/iron (Or for the older version of the language: https://github.com/fthomas/refined) (Please also note that for this feature both versions don't need language support at all but are "just" libraries, as the language is powerful enough to express all kinds of type level / compile time computations in general.)

You're looking for refinement-types? Scala to the rescue: https://github.com/fthomas/refined And a new one: https://github.com/Iltotore/iron/ The latter will be zero overhead once a compiler ticket is closed. Both solutions will yield compile time checks where possible, and fall back to runtime checks when the data isn't statically known.