I took a look at Facebook's Flow type checker for Javascript seems like it would really help with a lot of the authors complaints but would still get to right mostly plain JS.