Hacker News Reader

> there is quite literally nothing you can accomplish with dynamic typing that you cannot accomplish with such a static type system.

Exactly, and all you need is Any

> a lot of people out there are writing code this way: just hack away until it works, and fix it if it ever crashes.

I'm willing to agree that Non-TDD hackers should go for static typing.

View on HN

Tests are a very underpowered replacement for types. They require a lot more work to create, much more maintenance, and bring you much less confidence. Unity tests are the worst kind on each of those dimensions.

It's really not a good idea to follow TDD instead of using types. You want tests for things that aren't practical to verify, not for replacing static verification.

>Exactly, and all you need is Any

If you're using Any, then your program is (at least in part) dynamically typed. I don't think it's fair to say "look! Static typing is better than dynamic typing in any and all situations! (so long as it can use dynamic typing)"

Exactly :)

Reply on news.ycombinator.com