Hacker News new | past | comments | ask | show | jobs | submit login

> 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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: