Might as well take the opportunity to sell my own project: Purescript: JavaScript doesn't have a static type system.