Hacker News Reader

A more degenerate argument: a type system that rejects all programs will prevent all bugs.

I have seen programmers 1) design a type hierarchy; 2) struggle getting things compiled; 3) give up.