The thing I find interesting is that in many cases the types are "there", dynamic or not, except in most statically typed languages you have to type them out for the compiler. If explicit types everywhere arent an awesome communication tool, then shouldn't we be able to do away with them and keep the benefits? Or 85%? 90? Why not an uncluttered lisp or Python syntax and tools that don't require us to spell out the types by keyboard?