TypeScript is "Typed JavaScript at Any Scale"

• Creating types and values with the same name in TypeScript
• Dealing with TypeScript’s strictness
• Embracing Gradual Typing (talk)
• JavaScript powered by TypeScript (project Salsa)
• Array#filter type narrowing