Comment on Rust's Two Kinds of 'Assert' Make for Better CodeparentComments−justincormack1yAda has constrained range types. Idris has lots more fun stuff with types. But not very mainstream yet.
Comments
Ada has constrained range types. Idris has lots more fun stuff with types. But not very mainstream yet.