HaskellだったらEmacs上でリアルタイム構文チェックするモードがある
ghc.elだったかな。flymakeでコンパイラ呼び出してるだけだけど
elispで完結するという条件が無ければ、>>1に書いてあることを実現する道具は既に揃っているのではないか