3 ms·

So you've written a bunch of bespoke type checkers that run at runtime instead of compile-time... Shouldn't we be able to just have actual static typing instea

So you've written a bunch of bespoke type checkers that run at runtime instead of compile-time... Shouldn't we be able to just have actual static typing instead?

z3t4 5y ago
I also use automatic tests, and most of the time it's the tests inside the functions that detect the error - because the tests runs the code. It's much more simple then trying to prove correctness before the program haven't even run once.