Syntastic is great for flagging syntax errors, but I don't think it provides for type checking like DannoHung is after.