4 ms·
You can encode logic into types making what were previous runtime logic errors compile time errors.
by codygman 11y ago
You can encode logic into types making what were previous runtime logic errors compile time errors.
- Veedrac 11y agoYou can in some languages, but it's not so easy with dynamic, surface-level type checks.