Hacker News new | ask | show | jobs
by eingaeKaiy8ujie 1792 days ago
I don't even look at dynamically typed languages anymore. And once you learn about dependent types...