TypeScript Language Specification v1.5

More documents

Recommendations

Info

function processValue(value: number | (() => number)) { var x = typeof value !== "number" ? value() : value; // Process number in x } the value parameter has type () => number in the first conditional expression and type number in the second conditional expression, and the inferred type of x is number. In the example function f(x: string | number | boolean) { if (typeof x === "string" || typeof x === "number") { var y = x; // Type of y is string | number } else { var z = x; // Type of z is boolean } } the type of x is string | number | boolean in the left operand of the || operator, number | boolean in the right operand of the || operator, string | number in the first branch of the if statement, and boolean in the second branch of the if statement. In the example class C { data: string | string[]; getData() { var data = this.data; return typeof data === "string" ? data : data.join(" "); } } the type of the data variable is string in the first conditional expression and string[] in the second conditional expression, and the inferred type of getData is string. Note that the data property must be copied to a local variable for the type guard to have an effect. In the example class NamedItem { name: string; } function getName(obj: Object) { return obj instanceof NamedItem ? obj.name : "unknown"; } 84
the type of obj is narrowed to NamedItem in the first condtional expression, and the inferred type of the getName function is string. 85
Page 1 and 2:
TypeScript Language Specification V
Page 3 and 4:
Table of Contents 1 Introduction ..
Page 5 and 6:
4.9.1 Standard Function Expressions
Page 7 and 8:
9.1 Enum Declarations .............
Page 9 and 10:
1 Introduction JavaScript applicati
Page 11 and 12:
1.1 Ambient Declarations An ambient
Page 13 and 14:
call '$' as a function. The behavio
Page 15 and 16:
function getX(p: Point) { return p.
Page 17 and 18:
This TypeScript class declaration c
Page 19 and 20:
Section 9 describes how programmers
Page 21 and 22:
Interface definitions, like the one
Page 23 and 24:
TypeScript modules provide a mechan
Page 25 and 26:
2 Basic Concepts The remainder of t
Page 27 and 28:
Each enum declaration has a declara
Page 29:
When an identifier is resolved as a
Page 32 and 33:
which infers the type of 'x' to be
Page 34 and 35:
The only possible values for the Vo
Page 36 and 37:
interface Array { length: number; [
Page 38 and 39:
3.4 Union Types Union types represe
Page 40 and 41:
3.5 Type Parameters A type paramete
Page 42 and 43: 3.6 Named Types Classes, interfaces
Page 44 and 45: 3.7.1 Predefined Types The any, num
Page 46 and 47: TypeMember: PropertySignature CallS
Page 48 and 49: 3.7.8 Constructor Type Literals A c
Page 50 and 51: 3.8.2 Call Signatures A call signat
Page 52 and 53: RestParameter: ... Identifier TypeA
Page 54 and 55: IndexSignature: [ Identifier : stri
Page 56 and 57: Type aliases are referenced using t
Page 58 and 59: o o If each type in U has an appare
Page 60 and 61: o o o M is a non-specialized call o
Page 62 and 63: 3.10.5 Contextual Signature Instant
Page 64 and 65: interface List { data: T; next: Lis
Page 66 and 67: 4.3 Identifiers When an expression
Page 68 and 69: of the object literal includes a nu
Page 70 and 71: A super call invokes the constructo
Page 72 and 73: ( id ) => { ... } ( id ) => expr Th
Page 74 and 75: A dot notation property access of t
Page 76 and 77: If func is of type Any, or of an ob
Page 78 and 79: An example: signature are fixed, an
Page 80 and 81: This rule means that the call to 'f
Page 82 and 83: 4.14.4 The delete Operator The 'del
Page 84 and 85: Any Boolean Number String Other Any
Page 86 and 87: where ??= is one of the compound as
Page 88 and 89: 4.18 The Comma Operator The comma o
Page 90 and 91: function foo(x: number | string) {
Page 95 and 96: 5 Statements This chapter describes
Page 97 and 98: BindingProperty: Identifier Initial
Page 99 and 100: Similarly, an array destructuring d
Page 101 and 102: 5.5 Continue Statements A 'continue
Page 103 and 104: 6 Functions TypeScript extends Java
Page 105 and 106: function f(x: number) { if (x
Page 107 and 108: When the output target is ECMAScrip
Page 109: 101
Page 112 and 113: An interface has the members specif
Page 114 and 115: interface Document { createElement(
Page 117 and 118: 8 Classes TypeScript supports class
Page 119 and 120: The following constraints must be s
Page 121 and 122: Private and protected accessibility
Page 123 and 124: interface A { x: number; f: () => v
Page 125 and 126: ConstructorOverloads: ConstructorOv
Page 127 and 128: BaseClass.apply(this, arguments); a
Page 129 and 130: Initializer expressions for instanc
Page 131 and 132: var x = A.create(); // new A() var
Page 133 and 134: MemberVariableAssignments is a sequ
Page 135 and 136: In addition, the '__extends' functi
Page 137 and 138: 9 Enums An enum type is a distinct
Page 139 and 140: An identifier or property access th
Page 141: var Color; (function (Color) { Colo
Page 144 and 145:
If the declaration of 'M' above had
Page 146 and 147:
module A { export interface X { s:
Page 148 and 149:
module outer { var local = 1; expor
Page 150 and 151:
where ModuleName is the name of the
Page 152 and 153:
DeclarationElement: ExportAssignmen
Page 154 and 155:
that source file is considered an e
Page 156 and 157:
Unlike a non-instantiated internal
Page 158 and 159:
import g = require("./geometry"); v
Page 160 and 161:
12.1.3 Ambient Class Declarations A
Page 162 and 163:
An ExternalImportDeclaration in an
Page 164 and 165:
PrimaryType: ParenthesizedType Pred
Page 166 and 167:
ParameterList: RequiredParameterLis
Page 168 and 169:
UnaryExpression: ( Modified ) … <
Page 170 and 171:
ClassExtendsClause: extends ClassTy
Page 172 and 173:
ModuleBody: ModuleElements opt Modu
Page 174 and 175:
AmbientClassBodyElements: AmbientCl
show all

TypeScript Language Specification v1.5

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?