The world wide web basically runs on JavaScript, HTML ... to make a big difference to the static verification of your code. Types let you define interfaces between software components and gain ...