Comment by eingaeKaiy8ujie

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