I haven't worked enough with languages like Haskell to know whether this is true, but isn't the compiler this tool? I'd like to see studies as to whether stati

I haven't worked enough with languages like Haskell to know whether this is true, but isn't the compiler this tool? I'd like to see studies as to whether statically typed languages mean less testing. After all, compilation is just an automated test for a certain class of problems, and with statically typed languages that class is larger than with a dynamic language, like Lisp. Larger, but is it more useful?