[justincormack]

Ada has constrained range types. Idris has lots more fun stuff with types. But not very mainstream yet.