The world wide web basically runs on JavaScript, HTML, and CSS. Unfortunately ... inference allows a few type annotations to make a big difference to the static verification of your code.