Hacker News Reader

But dynamically languages give you generic collections and data structures for free. Why would you need static types at all?

View on HN

They emphatically do not. Ignoring types doesn't give you a type system "for free"; much the same way that building a shelf doesn't make you a librarian.

Dynamically typed systems don't "ignore types", they just handle them at runtime.

Reply on news.ycombinator.com