chromatic wrote:
A compiler that assumes incorrectly and disallows programmers to do
useful things because its holds those assumptions as precious is wrong
-- especially in cases where even the programmer can't tell if code is
valid or invalid until the program actually runs.
Me neither. One should think of a type system like dependency declarations
in a Makefile: you get out what you put in. Too few dependencies might result
in incomplete rebuilds. Complete dependencies might remind you how convoluted
your design is. And make doesn't manage circular dependencies :)
--
TSa (Thomas Sandlaß)
