3 ms·
I apologise for the misleading example "leap year".
by mro_name 5y ago
I apologise for the misleading example "leap year".
- goto11 5y agoI'm a fan of static typing, but if people think it will protest them from logical errors like forgetting about DST, then they are actually worse off.
- reuben364 5y agoI guess; in the sense that it frees cognitive load from reasoning about properties of your program that are easily computed to think about properties that aren't. Even then, maybe thinking about the former primes you to reason about the latter. But even if the compiler tells you what the type of something should be, you ultimately have the synthesize something of that type.
- mro_name 5y agothink of the metric/imperial example above. The distance isn't just a number. Holds for most other things, too. Typed is key. Be it either static or dynamic.