> I'd rather my language surface problems at compile time (via type errors) for all possible code paths rather than a particular codepath at runtime.
The kind of problems caught by compile time type checking are less fine grained than those that can be caught at run time. For more exploratory programming, one would prefer the latter.
At compile time, one checks that they are passing around correct types, at run time, the actual logic of the program is exercised.
The kind of problems caught by compile time type checking are less fine grained than those that can be caught at run time. For more exploratory programming, one would prefer the latter.
At compile time, one checks that they are passing around correct types, at run time, the actual logic of the program is exercised.