News for hackers. Stuff that matters.

A comment on Introducing the IBM Swift Sandbox. Parent comment

Re:Introducing the IBM Swift Sandbox by ihsw on Friday December 04, 2015 @02:27PM (#10678480)
It should be noted that there are some caveats to TypeScript, namely that it's type-safety is only compile-time and not at run-time. It is best-effort type-safety.

That said, the edge cases are few and far between. TS is a fantastic language to work with.

[ Parent | on HN ]
Re:Introducing the IBM Swift Sandbox by djur on Friday December 04, 2015 @04:12PM (#10679161)
I think the issue you're mentioning isn't so much that TS only enforces type safety at compile time, because that's true of Haskell, OCaml, C++, etc. as well, but that by its nature it can't enforce any type contracts with the large quantity of dynamically-typed JavaScript you'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.
[ Parent | on HN ]