I followed HN guideline to preserve the page title, but a much more interesting title would be "Using the type system to enforce absence of SQL injections."