3 ms·
TypeScript is neither sound nor complete and was defined that way, beating out other competitors that were sound and/or complete. What I mean to say is - TypeS
by Normal_gaussian 11mo ago
TypeScript is neither sound nor complete and was defined that way, beating out other competitors that were sound and/or complete.
What I mean to say is - TypeScript isn't proof.