I don't even look at dynamically typed languages anymore. And once you learn about dependent types...