The current issue of CACM has an article on type theory:
When the philosopher Bertrand Russell invented type theory at the beginning of the 20th century, he could hardly have imagined that his solution to a simple logic paradox—defining the set of all sets not in themselves—would one day shape the trajectory of 21st century computer science.
It is riddled with misconceptions, errors, and self-aggrandizement. It does us the great disservice of conflating (dynamic) memory safety and (static) type safety, and has whoppers like “A type system ensures the correct behavior of any program routine by enforcing a set of predetermined behaviors,” which is just false. But hey, ra-ra types! No?
Post a Comment