Safer typescript

Topics: General
Jul 2, 2014 at 1:31 PM
Edited Jul 2, 2014 at 1:43 PM
Seems pretty interesting (especially null check if you want my opinion) will it be merged in core ? :D
Jul 2, 2014 at 4:07 PM
We've been talking with Nikhil and his team at MSR. There's definitely some overlap there. We'd like to keep with our philosophy of keeping a very light codegen, so we've been talking about ways we could incorporate his safety checks as an opt-in level of safety/strictness. This would work similarly to how "no implicit any" works now.

Still very early on, but so far it's sounding promising.
Jul 2, 2014 at 4:12 PM
Thanks for the reply.
Jul 3, 2014 at 9:10 AM
Can we get an overview of what exactly Safer TypeScript does? As mentioned in this Stack Overflow question it's undocumented. Also copying my comment from there:
I tried running a diff with 0.9.5 and the majority of changes seem to be under src\compiler\typecheck\sound\ and src\compiler\typecheck\tsStar.ts. It's a bit hard to get a proper diff because a bunch of files just had their line endings changed.