> ...which is something the Typescript compiler won't help you with (or any compiler probably) Not so - there're languages out there in which you're able to en

> ...which is something the Typescript compiler won't help you with (or any compiler probably) Not so - there're languages out there in which you're able to encode your business logic within your program's types, at least to a certain extent, e.g. dependently typed languages. This can definitely replace some of your logic tests.