Para no desvirtuar mucho el hilo, este es una buena disertación sobre el tema:
http://blog.steveklabnik.com/posts/2...g-type-systems
P.D: Mi lenguaje ideal? Python + Tipos estáticos + Otras cosas de las que he hablado antes, con escape a objeto dinamico (opcional). Pienso que lo que hace
Julia &
Nimrod se acerca. Con todo, un lenguaje que se parezca a python esta muy cerca de agradable de programar..