strict object literal checking

Module
Freshness
Global

type StrOrNum = string|number; Type Alias

T&U Intersection Type

DefinitelyTyped
string | number Union Type
which files
Compilation Context
Generics compiler options

Type Declaration Space

:TypeAnnotation Declaration Spaces
Variable Declaration Space

var myPoint: { x: number; y: number; }; :{ / Structure/ } Inline Type Annotation

Modules

compose multiple type annotations into a single file for common types, interfaces,
[Link]
zero runtime JS impact Interfaces global namespace

implements browser
Project
ambient declarations common JS stuff JS envs
string [Link]
type annotation TypeScript
number Primitive Types --noLib

boolean
[Link] ?

[] to any valid type annotation Arrays

automatically included in the compilation context

any Compiler target effect

--strictNullChecks null --lib

Special Types
--strictNullChecks undefined [Link] no runtime

Ambient Declarations overloading just documention

void
functions not arrow function
: [string, number] Tuple Type

organize a collection of related values Enums Callable Newable ?

is a declaration file .[Link] extension

JavaScript is valid TypeScript

narrow down the type within a conditional block

Type Guard
typeof

instanceof
no any runtime is not casting
inferred type
in Type Assertion
as foo vs. <foo>

a compile time construct

Double assertion
the assertion from type S to T succeeds ?
either S is a subtype of T

or T is a subtype of S