typescript

타입스크립트는 자바스크립트로 컴파일되는, 자바스크립트의 타입이 있는 상위집합입니다.
TypeScript is a typed superset of JavaScript that compiles to plain JavaScript.

static type 장점

보다 빠른 버그 발견, 툴링, 주석으로서의 타입

typescript 장점

자바스크립트의 상위집합, 트레이드오프, VS Code, 커뮤니티

안전하고 “증명 가능하게 올바른” 타입 시스템 적용하기. 그 대신 정확성과 생산성 사이의 균형을 노린다.
Apply a sound or "provably correct" type system. Instead, strike a balance between correctness and productivity.

function getFirstThreeCharsUnsafe(arg: { x: string | null }) {
    if (arg.x !== null) {
        window.alert('arg.x is string!');
        console.log(arg.x.substr(0, 3));
    }
}

var a: { x: string | null } = { x: 'ok' };
window.alert = function (str: string) {
    a.x = null;
};
getFirstThreeCharsUnsafe(a);

기초 문법

Type Annotation

value: type

const areYouCool: boolean = true;
const answer: number = 42;
const typescript: string = "great";
const greetings: string = `
Hello, Readers!
Welcome to TypeScript.
`;
const hasType: Object = {
  TypeScript: true,
  JavaScript: false
};

Types

Primitive Types

boolean, number, string
null, undefined - 각각 null과 undefined라는 하나의 값만

타입스크립트에서, 원래 null과 undefined는 기본적으로 모든 타입의 서브타입이다. 즉 아무런 설정이 없다면 아래와 같은 식의 할당이 허용된다.

const a: number = null; // okay
하지만 이런 동작은 버그를 양산하기 쉽다. 때문에 타입스크립트 2.0에 null과 undefined 값을 다른 타입에 할당하는 것을 막는 --strictNullChecks 플래그가 추가되었다.
--strictNullChecks 플래그는 --strict 플래그에 포함된다.

any - 모든 타입과 호환 가능
void - null과 undefined만을 값으로 가질 수 있는 타입
never - 아무런 값도 가질 수 없는 타입

function alwaysThrow(): never {
  throw new Error(`I'm a wicked function!`);
}

배열

const pibonacci: number[] = [0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55];
const myFavoriteBeers: string[] = ['Imperial Stout', 'India Pale Ale', 'Weizenbock'];

const pibonacci: Array<number> = [0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55];
const myFavoriteBeers: Array<string> = ['Imperial Stout', 'India Pale Ale', 'Weizenbock'];

튜플

// 튜플 타입 변수는 정확히 명시된 개수 만큼의 원소만을 가질 수 있다.
const nameAndHeight: [string, number] = ['lucas', 172]

객체

const userWithUnknownHeight: { name: string; height?: number; readonly age: number } = { 
  name: '';
  age: 32;
};
user.age = 22; // error TS2540: Cannot assign to 'age' because it is a constant or a read-only property.

Type Alias

이미 존재하는 타입에 다른 이름을 붙여 복잡한 타입을 간단하게 쓸 수 있다. - type NewType = Type;

type UUID = string;
type Height = number;
type AnotherUUID = UUID;
type Animals = Animal[];
type User = {
  name: string;
  height: number;
};

Function

function func(param: type): type {...}

// default parameter, optional parameter
function sum(a: number = 1, b?: number): number {
  return (a + b);
}

// 선택 매개변수 이후에 필수 매개변수를 두는 것은 허용되지 않는다.
function invalidFetchVideo(subtitleUrl?: string, url: string) {
  /* ... */
}
//error TS1016: A required parameter cannot follow an optional parameter.

func: (param1: type, param2: type) => type

const onePlusOne: () => number = () => 2;
const arrowSum: (a: number, b: number) => number = (a, b) => (a + b);

type SumFunction = (a: number, b: number) => number;
const definitelySum: SumFunction = (a, b) => (a + b);

Overloading

함수는 하나 이상의 타입 시그니처를 가질 수 있다.
함수는 단 하나의 구현을 가질 수 있다.

function double(str: string): string;
function double(num: number): number;
function double(arr: boolean[]): boolean[];
// 분기는 함수 본문 내에서 이루어져야 한다.
function double(arg) {
    if (typeof arg === 'string') {
        return `${arg}${arg}`;
    } else if (typeof arg === 'number') {
        return arg * 2;
    } else if (Array.isArray(arg)) {
        return arg.concat(arg);
    }
}

this

함수의 타입 시그니쳐에서 매개변수 가장 앞에 this 를 추가

interface HTMLElement {
  tagName: string;
  /* ... */
}
interface Handler {
  (this: HTMLElement, event: Event, callback: () => void): void;
}
let cb: any;
// 실제 함수 매개변수에는 this가 나타나지 않음
const onClick: Handler = function(event, cb) {
  // this는 HTMLElement 타입
  console.log(this.tagName);
  cb();
}

Generic

여러 타입에 대해 동작하는 요소를 정의하되, 해당 요소를 사용할 때가 되어야 알 수 있는 타입 정보를 정의에 사용

type variable - `<T>`

type MyNumberArray = MyArray<number>

generic function

function getFirstElem<T>(arr: T[]): T {
    /* */
}
type MyArray<T> = T[];     // generic type alias
const languages: MyArray<string> = ['TypeScript', 'JavaScript'];
const language = getFirstElem<string>(languages); // 이 때 language의 타입은 문자열

inheritance

function getFirst<T extends Stack<U>, U>(container: T): U {
  const item = container.pop();
  container.push(item);
  return item;
}

getFirst<Stack<number>, number)(numberStack);

Union Type

어떤 타입이 가질 수 있는 경우의 수를 나열 - type | type | type

function square(value: number, returnString: boolean = false): string | number {
  /*  */
}
const stringOrNumber: string | number = square(randomNumber, randomBoolean);

// type
type SquaredType =
    | string
    | number;
function square(value: number, returnOnString: boolean = false): SquaredType {
  /*  */
}
const stringOrNumber: SquaredType = square(randomNumber, randomBoolean);

Intersection Type

이미 존재하는 여러 타입을 모두 만족하는 타입 - type & type & type

type BeerLovingProgrammer =
  & Programmer
  & BeerLover;

Enum

enum Direction {
  East,
  West,
  South,
  North
}

const south: Direction = Direction.South;
console.log(south); // 2

computed member

function getAnswer() {
  return 42;
}
enum SpecialNumbers {
  Answer = getAnswer(),
  //계산된 멤버 뒤에 오는 멤버는 반드시 초기화되어야 한다
  Mystery // error TS1061: Enum member must have initializer.
}

reverse mapping

// from
enum Direction {
  East,
  West,
  South,
  North
}
const east: Direction = Direction.East;
// to
var Direction;
(function (Direction) {
    Direction[Direction["East"] = 0] = "East";
    Direction[Direction["West"] = 1] = "West";
    Direction[Direction["South"] = 2] = "South";
    Direction[Direction["North"] = 3] = "North";
})(Direction || (Direction = {}));
var east = Direction.East;

string

// from
enum Direction {
  East = 'EAST',
  West = 'WEST',
  South = 'SOUTH',
  North = 'NORTH'
}
// to
var Direction;
(function (Direction) {
    Direction["East"] = "EAST";
    Direction["West"] = "WEST";
    Direction["South"] = "SOUTH";
    Direction["North"] = "NORTH";
})(Direction || (Direction = {}));

const enum

const enum ConstEnum {
  A,
  B = 2,
  C = B * 2,
  D = -C,
}
// from
console.log(ConstEnum.A);
// to
console.log(0 /* A */);

union enum

열거형의 모든 멤버가 아래 경우 중 하나에 해당하는 열거형을 유니온 열거형(union enum)이라 부른다.

암시적으로 초기화 된 값 (값이 표기되지 않음)
문자열 리터럴
숫자 리터럴

type Circle = {
  kind: ShapeKind.Circle;
  radius: number;
}
type Triangle = {
  kind: ShapeKind.Triangle;
  maxAngle: number;
}
type Square = {
  kind: ShapeKind.Square;
  maxLength: number;
}
type Shape = Circle | Triangle | Square;

union type

type Direction = 'EAST' | 'WEST' | 'SOUTH' | 'NORTH';
const east: Direction = 'EAST';
const center: Direction = 'CENTER'; // error TS2322: Type '"CENTER"' is not assignable to type 'Direction'.

Interface

값이 특정한 형태(shape)를 갖도록 제약

interface User {
  name: string;
  readonly height: number;
  favoriteLanguage?: string;
}
const author: User = { name: 'lucas', height: 176 }; // ok
author.height = 183; // error TS2540: Cannot assign to 'height' because it is a constant or a read-only property.

Function Interface

call signature - (매개변수1 이름: 매개변수1 타입, 매개변수2 이름: 매개변수2 타입, ...): 반환 타입

interface GetUserName {
  (user: User): string;
}
const getUserName: GetUserName = function (user) {
  return user.name;
};

Hybrid Interface - call signature + type

interface Counter {
    (start: number): string;
    interval: number;
    reset(): void;
}
function getCounter(): Counter {
    let counter = <Counter>function (start: number) { };
    counter.interval = 123;
    counter.reset = function () { };
    return counter;
}
let c = getCounter();
c(10);
c.reset();
c.interval = 5.0;

Generic Interface

interface MyResponse<Data> {
  data: Data;
  status: number;
  ok: boolean;
  /* ... */
}
interface User {
  name: string;
  readonly height: number;
  /* ... */
}
const user: MyReponse<User> = await getUserApiCall(userId);
user.name; // 타입 시스템은 user.name이 string임을 알 수 있다.

interface GetData {
  <Data>(response: MyResponse<Data>): Data;
}

기본적으로 인터페이스로 표현할 수 있는 모든 타입은 인터페이스로 표현하고, 기본 타입에 새로운 이름을 붙이고 싶거나 유니온 타입을 명명하고 싶은 경우 등 인터페이스의 능력 밖인 부분에서만 타입 별칭을 사용하라.

Indexible Type

코드의 실행 시점에서만 알 수 있는 이름의 동적 속성을 갖는 타입

const users:  = [
  { name: 'lucas', height: 176, favoriteLanguage: 'TypeScript' },
  { name: 'stranger', height: 42 }
];
interface NameHeightMap {
  [userName: string]: number | undefined;   // index signature
}
const nameHeightMap: NameHeightMap = {};
users.map(user => {
  nameHeightMap[user.name] = user.height;
});
console.log(userHeightMap)

Index and Type

색인의 타입으로는 문자열 또는 숫자만이 사용 가능
문자열 색인과 숫자 색인이 모두 존재하는 경우, 숫자로 색인 된 값의 타입은 문자열로 색인 된 값 타입의 서브타입이어야 한다.
문자열 색인 시그니처가 존재한다면 그 외 모든 속성의 값 타입은 문자열 색인으로 접근한 값의 타입의 서브타입이여야 한다

이러한 제약이 존재하는 이유는 자바스크립트 색인의 동작 방식 때문이다. 자바스크립트 코드에서 객체의 색인에 접근할 때, 내부적으로는 색인의 toString() 메소드를 호출해 문자열로 변형된 값을 색인으로 사용한다. 예를 들어 1.toString() === '1' 이므로 obj[1] 이라고 적은 코드는 실제로는 obj['1']와 동일하다.

interface ErrorProne {
  [str: string]: number;
  [num: number]: boolean;
}
let errorProne: ErrorProne = {
  'abc': 3,
  3: true
};
errorProne[3];

interface User {
    [randomProp: string]: number;
    name: string;
}
// error TS2411: Property 'name' of type 'string' is not assignable to string index type 'number'.

Readonly

interface ReadonlyNameHeightMap {
  readonly [name: string]: height;
}
const m: ReadonlyNameHeightMap = { 'lucas': 176 };
m['lucas'] = 177; // error TS2542: Index signature in type 'ReadonlyNameHeightMap' only permits reading.

Interface 확장 - `extends`

interface BeverageLover {
  favoriteDrink: string;
}
interface BeerLover {
  favoriteDrink: 'beer';
}
interface CoolPerson extends BeverageLover, BeerLover {
  name: string;
}
// error TS2320:
// Interface 'CoolPerson' cannot simultaneously extend types 'BeverageLover' and 'BeerLover'.
// Named property 'favoriteDrink' of types 'BeverageLover' and 'BeerLover' are not identical.

이름이 겹치는 속성의 타입은 모든 확장 대상 인터페이스에서 같아야 한다.

Class

Constructor

class BarkingDog {
  constructor(barkingSound: string) {
    console.log(`${barkingSound}!`);
  }
}
const barkingDog: BarkingDog = new BarkingDog('월'); // 월!

const err: BarkingDog = new BarkingDog();
// error TS2554: Expected 1 arguments, but got 0.

const err2: BarkingDog = new BarkingDog(3);
// error TS2345: Argument of type '3' is not assignable to parameter of type 'string'.

Property

모든 클래스 속성은 이름: 타입 꼴의 속성 선언(property declaration)을 통해 타입을 표기해주어야 한다.

--strictPropertyInitialization 옵션 undefined를 포함하지 않는 클래스 속성이 반드시 속성 선언 또는 생성자, 두 장소 중 한 곳에서 초기화 되어야 한다.

class User {
  private password: string;
}
// error TS2564: Property 'password' has no initializer and is not definitely assigned in the constructor.

password: string | undefined;
or
password!: string; // definitive assignment assertion - 초기화 체크 건너뜀

default value / readonly

속성 선언 또는 생성자 외의 장소에서는 읽기 전용 속성에 값을 할당 할 수 없다

class Triangle {
  readonly vertices: number = 3;
}
const triangle: Triangle = new Triangle();
triangle.vertices = 4;
// error TS2540: Cannot assign to 'vertices' because it is a constant or a read-only property.

method

class BarkingDog {
  barkingSound: string;
  
  constructor(barkingSound: string) {
    this.barkingSound = barkingSound;
  }
  
  bark(): void {
    console.log(`${this.barkingSound}!`);
  }
}

접근제어자

public

프로그램의 어느 곳에서나 접근 가능

private

해당 클래스 내부의 코드만이 접근 가능

protected

private + 서브클래스에서의 접근 또한 허용

constructor

접근 제어자가 붙은 생성자 매개변수는 같은 이름의 속성으로 선언되고, 해당 매개변수의 인자는 암묵적으로 인스턴스에 할당된다

class User {
  constructor (public id: string, private password: string) { }
}
// 동일
class User {
  public id: string;
  private password: string;
  
  constructor (id: string, password: string) {
    this.id = id;
    this.password = password;
  }
}

getter / setter

class Shape {
  private _vertices: number = 3;
  get vertices() {
    console.log('Vertices getter called.');
    return this._vertices;
  }
  set vertices(value) {
    console.log('Vertices setter called.');
    this._vertices = value;
  }
}
const square = new Shape();
square.vertices = 4; // Vertices setter called.
const vertices = square.vertices; // Vertices getter called.
console.log(vertices); // 4

abstract class

추상 클래스는 인스턴스화가 불가능하다는 점에서 일반 클래스와 다르다. 또한 추상 클래스는 구현을 일부 포함할 수 있다는 점에서 인터페이스와 다르다.

abstract class Animal {
    move(): void {
        console.log("roaming the earth...");
    }
    abstract makeSound(): void; // abstract method
}

implements

class implements interface

interface Animal {
  legs: number;
}

class Dog implements Animal {
  legs: number = 4;
}

interface extends class

class Point {
    x: number;
    y: number;
}

interface Point3d extends Point {
    z: number;
}

const point3d: Point3d = {x: 1, y: 2, z: 3};

Compatibility

Primitive type

type OneDigitOdd = 1 | 3 | 5 | 7 | 9;
const three: OneDigitOdd = 3;
const num: number = three;

const four: number = 4;
const oneDigitOdd: OneDigitOdd = four; 
// error TS2322: Type 'number' is not assignable to type 'OneDigitOdd'.

Object type

structural type system - 두 타입의 구조(structure)만을 비교하여 호환성을 결정

const typeB: B = typeA;

B 타입의 모든 필수 멤버에 대해, A 에도 같은 이름의 멤버가 존재하는가?
B 타입과 A 타입에 동시에 존재하는 멤버 m에 대해, A.m 의 타입을 M, B.m의 타입을 M'라 하자. 이 때, 모든 m에 대해서 M이 M'에 할당 가능한가?

literal - `과잉 속성 검사(excess property checking)`

객체 리터럴을 할당하는 경우에는 그 리터럴이 알려지지 않은 속성(unknown property), 즉 할당 받는 타입에 존재하지 않는 속성을 포함한다면 타입 에러가 발생

interface Color {
  R: number;
  G: number;
  B: number;
}

const white: Color = {
  R: 255,
  G: 255,
  B: 255,
  A: 1
};
// error TS2322: Type '{ R: number; G: number; B: number; A: number; }' is not assignable to type 'Color'.
// Object literal may only specify known properties, and 'A' does not exist in type 'Color'.

Function type

let source: Source;
const target: Target = source;

parameter count(target == source)

Target과 Source의 모든 매개변수 타입에 대해, Target의 매개변수 타입이 Source의 매개변수 타입에 할당 가능한가?(strictFunctionTypes)
Source 반환 타입이 Target 반환 타입에 할당 가능한가?

interface Animal { animalProp: string };
interface Dog extends Animal { dogProp: number };

let f = (animal: Animal) => animal.animalProp;
let g = (dog: Dog) => { doSomething(dog.dogProp) };

f = g;  // error(return type)

parameter count(target < source)

불가능

parameter count(target > source)

초과 매개변수 무시 후 같을 때.

Class (like a object)

스태틱 멤버 및 생성자는 호환성 비교에 영향을 주지 않는다.

class Animal {
  feet: number;
  constructor(name: string, numFeet: number) { }
}

class Size {
  feet: number;
  constructor(numFeet: number) { }
}

let a: Animal;
let s: Size;
a = s; // ok
s = a; // ok

private 및 protected 속성은 이름이 같다고 해도 다른 클래스로부터 정의된 멤버라면 호환이 불가능하다.

class FacebookUser {
  constructor (id: string, private password: string) {}
}

class TwitterUser {
  constructor (id: string, private password: string) {}
}

let twitterUser: TwitterUser;
let facebookUser: FacebookUser;
twitterUser = facebookUser;

Generic (like a class)

모든 타입 변수가 어떤 타입인지 알려진 경우 (=객체 타입간의 할당 여부를 판단)

interface NotEmpty<T> {
  data: T;
}

let x: NotEmpty<number>;  // { data: number }
let y: NotEmpty<string>;  // { data: string }

어떤 타입인지 알려지지 않은 타입 변수가 있는 경우

남아 있는 타입 변수를 모두 any 타입으로 대체하고 호환성을 판단

const identity = function<T>(x: T): T {
  // ...
};  // (x: any) => any

const reverse = function<U>(y: U): U {
  // ...
};  // (y: any) => any

Enum

다른 열거형으로부터 유래된 값끼리는 호환되지 않는다.
숫자 열거형 값은 number에, 문자열 열거형 값은 string에 할당 가능하다.

enum Status { Ready, Waiting }
enum Color { Red, Blue, Green }
let status: Status = Status.Ready;
status = Color.Green; // error

enum MyEnum {
  Zero,
  One = 1,
  Name = 'lucas'
}
const zero: number = MyEnum.Zero;
const one: number = MyEnum.One;
const name: string = MyEnum.Name;

Advanced

타입 좁히기(Type Narrowing)

보다 넓은(더 많은 경우의 수를 갖는) 타입을 더 좁은(더 적은 경우의 수를 갖는) 타입으로 재정의

interface Person {
  favoriteLanguage?: string;
}

function isFavoriteLangScript(p: Person): boolean {
  // A
  if (p.favoriteLanguage === undefined) {
    return false;
  }
  
  //B - "string | undefined" > "string"
  const lowerCased = p.favoriteLanguage.toLowerCase();
  return lowerCased.includes('script');
}

Type Guard - 타입 좁히기를 유발하는 표현

제어 흐름 분석(control flow analysis)

undefined / null 과의 비교
typeof 연산자 (typeof 타입 가드는 boolean, string, number, symbol 등 단순한 타입에 대해서만 사용하는 것이 권장)
리터럴 타입과의 비교
instanceof 연산자
in 연산자

interface TeamLeader {
  type: 'leader';
  leadingSince: Date;
}

interface Newcomer {
  type: 'newcomer';
  major: string;
}

type Employee = TeamLeader | NewComer;

function doSomething(employee: Employee) {
  switch (employee.type) {
    case 'leader': {
      // employee는 TeamLeader 타입
      return employee.leadingSince;
    }
    case 'newcomer': {
      // employee는 Newcomer 타입
      return employee.major;
    }
    default: {
      // employee는 never 타입
      return null;
    }
  }
}

사용자 정의 타입 가드(user defined type guard) - value is Type

대부분의 사용례는 내장 타입 가드로도 충분히 커버할 수 있다.

function isFish(animal: Animal): animal is Fish {
  if ('legs' in animal) {
    return false;
  }
  return true;
}

function doSomethingWithAnimal(animal: Animal) {
  if (isFish(animal)) {
    // animal은 Fish 타입
    animal.swim();
  } else {
    // animal은 Dog | Insect 타입
    console.log(animal.legs);
  }
}

타입 추론(Type Inference)

let x = 3; // number 타입으로 추론
const x = 3; // 3 타입으로 추론
const oneOrThree: 1 | 3 = 3; // 타입 표기 필요

최적의 공통 타입(best common type)

interface Animal {
  legs: number;
}

interface Dog extends Animal {
  bark(): void;
}

interface Cat extends Animal {
  meow(): void;
}

let dog: Dog;
let cat: Cat;
const dogAndCat = [dog, cat]; // dog | cat

문맥 상의 타입(contextual type)

rvalue의 type을 lvalue의 type으로 추론

interface MouseEvent {
  /* ... */
  /* a 속성 없음! */
}
interface Window {
  /* ... */
  onmousedown: (event: MouseEvent) => void;
}

window.onmousedown = function(mouseEvent: any) { // 타입 표기
  console.log(mouseEvent.a);
};

타입 단언(Type Assertion)

원하는 임의의 타입을 값에 할당 - value as Type

(3 as any).substr(0, 3);

const insect2: Insect = (dog as any) as Insect; // 다중

Disjoint Union Type

브랜치 간에 겹치는 부분이 없는 유니온 타입

interface Employee {
  type: 'Employee';
  department: string;
  salary: number;
}

interface Boss {
  type: 'Boss';
  kind: boolean;  
}

interface CompanyMember = Employee | Boss;

switch 패턴 매칭

interface Square {
  kind: "square";
  size: number;
}
interface Rectangle {
  kind: "rectangle";
  width: number;
  height: number;
}
interface Circle {
  kind: "circle";
  radius: number;
}
type Shape = Square | Rectangle | Circle;

function area(s: Shape): number {
  switch (s.kind) {
    case "square": {
      // s의 타입 Square로 좁혀짐
      return s.size * s.size;
    }
    case "rectangle": {
      // s의 타입 Rectangle로 좁혀짐
      return s.height * s.width;
    }
    case "circle": {
      // s의 타입 Circle로 좁혀짐
      return Math.PI * s.radius ** 2;
    }
  }
}

strict mode

--strict

strict type checking 모두 활성화

--noImplicitAny

type이 명시되지 않고 any로 추론되는 경우 에러 => type 명시

function log(someArg) {
  console.log(someArg);
}

--noImplicitThis

함수내에서 this의 type이 any로 추론되는 경우 에러 => 매개변수 목록에 this 선언
class에서는 선언하지 않아도 가능(constructor에서 this선언시에는 에러)

function func() {
  console.log(this);
}

--alwaysStrict

strict mode로 parsing & 각 source file에 'use strict' 추가

--strictNullChecks

null과 undefined를 다른 type에 assign하면 에러 => type 좁히기 or !사용

class Member {
  name: string
  age?: number

  getMember() {
    return this.age.toString();
  }
}

--strictFunctionTypes

target함수의 매개변수를 source 함수의 매개변수에 할당 불가능할 경우 error (bivariantly > contravariance)

/** Type Hierarchy */
interface Point2D { x: number; y: number; }
interface Point3D { x: number; y: number; z: number; }

/** Two sample functions */
let iTakePoint2D = (point: Point2D) => { /* do something */ }
let iTakePoint3D = (point: Point3D) => { /* do something */ }

iTakePoint3D = iTakePoint2D;
iTakePoint2D = iTakePoint3D; // WFT

--strictPropertyInitialization

undefined를 포함하지 않는 클래스 속성이 속성 선언 또는 생성자에서 초기화 되지 않으면 error (--strictNullChecks도 enable 해야함)

class User {
  private password: string;
}

nukeguys / start-typescript Goto Github PK

start-typescript's Introduction

typescript

static type 장점

typescript 장점

기초 문법

Type Annotation

Types

Primitive Types

배열

튜플

객체

Type Alias

Function

Overloading

this

Generic

type variable - <T>

generic function

Union Type

Intersection Type

Enum

computed member

reverse mapping

const enum

union enum

union type

Interface

Function Interface

Hybrid Interface - call signature + type

Generic Interface

Indexible Type

Index and Type

Readonly

Interface 확장 - extends

Class

Constructor

Property

default value / readonly

method

접근제어자

public

private

protected

constructor

getter / setter

abstract class

implements

class implements interface

interface extends class

Compatibility

Primitive type

Object type

literal - 과잉 속성 검사(excess property checking)

Function type

parameter count(target == source)

parameter count(target < source)

parameter count(target > source)

Class (like a object)

Generic (like a class)

모든 타입 변수가 어떤 타입인지 알려진 경우 (=객체 타입간의 할당 여부를 판단)

어떤 타입인지 알려지지 않은 타입 변수가 있는 경우

Enum

Advanced

타입 좁히기(Type Narrowing)

Type Guard - 타입 좁히기를 유발하는 표현

타입 추론(Type Inference)

최적의 공통 타입(best common type)

문맥 상의 타입(contextual type)

타입 단언(Type Assertion)

Disjoint Union Type

switch 패턴 매칭

strict mode

--strict

--noImplicitAny

--noImplicitThis

--alwaysStrict

--strictNullChecks

--strictFunctionTypes

--strictPropertyInitialization

type variable - `<T>`

Interface 확장 - `extends`

literal - `과잉 속성 검사(excess property checking)`