2 ms·
Type inference is something that computers are better at doing given enough information. So, let computers do it. Use human time for more important things, lik
by 29athrowaway 5y ago
Type inference is something that computers are better at doing given enough information.
So, let computers do it. Use human time for more important things, like things that require human intelligence.
If you don't have type safety you will end up writing 10x more unit tests anyways, while getting less certainty about your code.
- klyrs 5y agoSounds nice, but my gripe is that type annotations do not provide type safety. For that, you need one of many type checkers, which aren't mutually compatible. How certain are you of your certainty?