3 ms·
because it isn't a type error? Obviously if the spec says to create a word processor program, and you instead write a flight simulator, the compiler isn't goin
by drdeca 6y ago
because it isn't a type error?
Obviously if the spec says to create a word processor program, and you instead write a flight simulator, the compiler isn't going to correct that mistake.
- synthc 6y agothat is exactly my point, static type system help a lot, but saying that 'if the types check there are no bugs' is too much. There are many classes of errors that are beyond types, even dependant types.