Dependent types

So, why are you not using dependent types yet? Do you like your programs randomly crashing?

>>103

although it's harder for injections as they usually happen on the boundaries of languages

You could have a dependent type like system : (s : string) -> doesNotContainUnescapedQuotes s = True -> IO ()

logic bugs only theoretically can

Buffer overflows are also logic bugs.

can't be done in general case (because of halting problem).

Nice meme

by exploiting OS-level stuff

Dependent types can't prevent bugs in other programs.