I think the issue you&#x27;re mentioning isn&#x27;t so much that TS only enforces type safety at compile time, because that&#x27;s true of Haskell, OCaml, C++, etc. as well, but that by its nature it can&#x27;t enforce any type contracts with the large quantity of dynamically-typed JavaScript you&#x27;re probably going to be dealing with. Of course, this is also an issue when safe Haskell, OCaml, etc. code interacts with compiled C code at runtime as well.