3 ms·
> If it's not in your CI/CD scripts, it's not actually getting checked. You can make a similar argument and say you must write in a sound type system language,
by chakkepolja 5y ago
> If it's not in your CI/CD scripts, it's not actually getting checked.
You can make a similar argument and say you must write in a sound type system language, and TS typesystem is unsound.
- morelisp 5y agoSorry, I don't understand the analogy. Yes, TS allows some bugs through, and that's a problem too. But that's also a far cry from "always rely on humans to run complex processes in a consistent way."