Judging from my limited experience the first and fourth are either caught by the compiler or at least result in a panic in some cases. The middle two are out o

Judging from my limited experience the first and fourth are either caught by the compiler or at least result in a panic in some cases. The middle two are out of reach of a typical PL or type system (there are exceptions like Ur, but I don't think it's adopted widely). It's a problem that is typically solved via libraries and Rust is not unique in terms of providing safe libraries around generating SQL or HTML.