Hacker News Reader

Things I would actually be interested in for Vim: Some sort of type-validation plugin for languages like C, C++, Scala, Haskell, etc.

There are ways to get around it, but getting the error in the editor window is very nice for dummies like me.

Huh, do the syntax checkers for those languages actually do type checking too?

For C and C++ at least, it uses your compiler, so yes.

For Haskell too, with ghc-mod[1].

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

Sublime Text in-editor linting is one of my projects too (sublimelint/SublimeLinter).