tooling for functional languages

one of the advantages of functional languages, especially typefaggy ones, is that it makes program analysis, proving shit and finding bugs at compile-time easier. this is all fine and good but why is there almost no tooling that takes advantage of it? IDEs and debuggers are years behind mainstream shit like Java, and that's even without getting into proprietary IDEs and code-reading tools for C or Lisp.

inb4 you don't need tools because the language itself, REPL and compiler are enough. not only is it bullshit because tracing the exectuion of even a mildly complex program is difficult regardless of the language (as it's the algorithm itself that is complex), it's also bullshit because compilers for dead dog and dead camel tend to spew out cryptic, overly-abstract messages that aren't trivial to connect with concrete bugs. IDE and debugger that understand your're are code are a big win for any practical programming task

the main reason people build static analysis tools is to test and debug their code. functional programming users don't need this because they don't write code, only forum posts.