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▀)





Reply via email to