Haskell can actually do the "warn if it finds a problem" option: https://downloads.haskell.org/~ghc/7.8.2/docs/html/users_gui...
I've been meaning to write up something comparing dynamic typing + SLIME to -fdefer-type-errors and ghcid...
I've been meaning to write up something comparing dynamic typing + SLIME to -fdefer-type-errors and ghcid...