> I actually hope we start seeing systems that validate invariants that are not type based like "SQL Injection Safe SQL Query" and "Range between 10-100".
Both of those can be types in a rich enough type system; the latter is a fairly common example for dependent types, for instance.
Both of those can be types in a rich enough type system; the latter is a fairly common example for dependent types, for instance.