What's wrong with statically typed languages?


 explicitly typed languages (C++, Java)
too verbose (explicit types can pollute the code)
too rigid (no anonymous functions)
no datatypes (aka variants)
bad handling of non-mutable data