> with far less of the "type system" enforced by the compiler and almost all of it in our heads That's why reasonable people want to have good type systems: Pe

> with far less of the "type system" enforced by the compiler and almost all of it in our heads That's why reasonable people want to have good type systems: People who think that they can keep the type system in their head are exactly the people whose opinion should be ignored.