9981721212

Strongly typed and dynamically typed, which means that you can get runtime errors. Also, the "type system" with "dependent types" is really just equivalent to an ML datatype that's dynamically type checked.

I'm a bit mystified with respect to what passes as research in the field of type systems for dynamic languages.