Sub Type (1)

// sub1 type 은 sup1 타입의 sub type 이다.
let sub1: 1 = 1;
let sup1: number = sub1;
sub1 = sup1; // error! Type 'number' is not assignable to type '1'.

// sub2 type 은 sup2 type 의 sub type 이다.
let sub2: number[] = [1];
let sup2: object = sub2;
sub2 = sup2; // error! Type '{}" is missing the following properties from type 'number[]';
// length, pop, push, concat, and 16 more.

// sub3 type 은 sup3 type 의 sub type 이다.
let sub3: [number, number] = [1, 2];
let sup3: number[] = sub3;
sub3 = sup3; // error! Type 'number[]' is not assignable to type '[number, number]'.
// Target requires 2 element(s) but source may have fewer.

Sub Type (2)

// sub4 type 은 sup4 타입의 sub type 이다.
let sub4: number = 1;
let sup4: any = sub4;
sub4 = sup4; 

// sub5 type 은 sup5 type 의 sub type 이다.
let sub5: never = 0 as never;
let sup5: number = sub5;
sub5 = sup5; // error! Type 'number' is not assignable to type 'never'.

class Animal {}
class Dog extends Animal {
	eat() {}
}

// sub6 type 은 sup6 type 의 sub type 이다.
let sub6: Dog = new Dog();
let sup6: Animal = sub6;
sub6 = sup6; // error! Property 'eat' is missing type 'SubAnimal' but required in type 'SubDog'.

같거나 서브 타입인 겨우, 할당이 가능 ⇒ 공변

// primitive type
let sub7: string = '';
let sub7: string | number = sub7;

// object - 각각의 프로퍼티가 대응하는 프로퍼티와 같거나 서브타입이어야 한다.
let sub8:{ a: string; b: number } = { a: '', b: 1 };
let sub8:{ a: string | number; b: number } = sub8;

// array - object 와 마찬가지
let sub9: Array<{ a: string; b: number }> = [{ a: '', b: 1 }];
let sub9: Array<{ a: string | number ; b: number }> = sub8;

함수의 매개변수 타입만 같거나 슈퍼타입인 경우, 할당 가능 ⇒ 반병

class Person {}
class Developer extends Person {
	coding() {}
}
class StartupDeveloper extends Developer {
	burning() {}
}

function tellme(f: (d: Developer) => Developer) {}

// Developer => Developer 에 Developer => Developer 를 할당하는 경우
tellme(function dToD(d: Developer): Developer {
	return new Developer();
});

// Developer => Developer 에 Person => Developer 를 할당하는 경우
tellme(function pToD(d: Person): Developer {
	return new Developer();
});

// Developer => Developer 에 StartupDeveloper => Developer 를 할당하는 경우
// strictFunctionTypes 옵션을 켜면 Error!
tellme(function sToD(d: StartupDeveloper): Developer {
	return new Developer();
});

strictFunctionTypes 옵션을 켜면

함수를 할당할 시에 함수의 매개변수 타입이 같거나 슈퍼타입인 경우가 아닌 경우, 에러를 통해 경고한다.