TypeScript. Часть II. Старков Дима

Transcription

1 TypeScript Часть II Старков Дима 1

2 Сегодня Вывод типов Структурная типизация Более сложные типы Обобщенные типы Type Guards 2

3 TypeScript? Спасет от выстрелов себе в ногу ESNext прямо сейчас Средство против TypeError Пишет код за вас Документация к коду Но... 3

4 4

5 Вывод типов let n: number = 42 let s: string = 'Hello, world!' let a: number[] = [1, 2, 3, 4] let n = 42 let s = 'Hello, world!' let a = [1, 2, 3, 4] 5

6 Наиболее общий тип let shapes = [new Circle(), new Square()] shapes.push(new Triangle()) 6

7 Наиболее общий тип let shapes = [new Circle(), new Square()] // Argument of type 'Triangle' // is not assignable to parameter of type 'Square Circle'. shapes.push( new Triangle() ) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 7

8 Наиболее общий тип let shapes = [new Circle(), new Square()] shapes.push(new Triangle()) 8

9 Наиболее общий тип let shapes = [new Circle(), new Square()] shapes.push(new Triangle()) 9

10 Наиболее общий тип let shapes = [new Circle(), new Square()] shapes.push(new Triangle()) 10

11 Наиболее общий тип let shapes = [new Circle(), new Square()] // Argument of type 'Triangle' // is not assignable to parameter of type 'Square Circle'. shapes.push( new Triangle() ) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 11

12 Наиболее общий тип let shapes: Shape[] = [new Circle(), new Square()] shapes.push(new Triangle()) 12

13 Совместимость типов class Human { name: string class Robot { name: string let human: Human = new Robot() 13

14 Проверка типа в runtime function addshape(shapes: Shape[], obj: object) { if (obj instanceof Shape) { shapes.push(obj as Shape) throw new TypeError('Argument is not instanceof Shape') 14

15 Проверка типа в runtime function addshape(shapes: Shape[], obj: object) { if (obj instanceof Shape) { shapes.push(obj as Shape) throw new TypeError('Argument is not instanceof Shape') 15

16 Проверка типа в runtime function addshape(shapes: Shape[], obj: object) { if (obj instanceof Shape) { shapes.push(obj as Shape) throw new TypeError('Argument is not instanceof Shape') 16

17 Проверка типа в runtime function addshape(shapes: Shape[], obj: object) { if (obj instanceof Shape) { shapes.push(obj as Shape) throw new TypeError('Argument is not instanceof Shape') 17

18 Проверка типа в runtime function addshape(shapes: Shape[], obj: object) { if (obj instanceof Shape) { shapes.push(obj as Shape) throw new TypeError('Argument is not instanceof Shape') 18

19 Type Guard function addshape(shapes: Shape[], obj: object) { if (obj instanceof Shape) { shapes.push(obj) throw new TypeError('Argument is not instanceof Shape') 19

20 TypeScript крут. Но можем ли мы описать весь JavaScript? 20

21 Вспомним TypeScript 1.0 Интерфейсы Классы Обобщенные типы Перегрузки функций Чего еще желать? 21

22 // String.split split(separator:?, limit: number): string[] 22

23 // String.split split(separator: string RegExp, limit: number): string[] 23

24 // String.split split(separator: string RegExp, limit: number): string[] Решение: Union Types 24

25 Union Type Guard function negate(n: string number) { if (typeof n === 'string') { return '-'.concat(n); else { return -n; 25

26 Union Type Guard function negate(n: string number) { if (typeof n === 'string') { return '-'.concat(n); else { return -n; 26

27 Union Type Guard function negate(n: string number) { if (typeof n === 'string') { return '-'.concat(n); else { return -n; 27

28 Union Type Guard function negate(n: string number) { if (typeof n === 'string') { return '-'.concat(n); else { return -n; 28

29 Union Type Guard function negate(n: string number) { if (typeof n === 'string') { return '-'.concat(n); return -n; 29

30 Intersection Types type Cat = { purr() 30

31 Intersection Types type Cat = { purr() type Dog = { woof() 31

32 Intersection Types type Cat = { purr() type Dog = { woof() type CatDog = Cat & Dog 32

33 Type Alias // String.split split(separator: string RegExp, limit: number): string[] 33

34 Type Alias type StringOrRegExp = string RegExp // String.split split(separator: StringOrRegExp, limit: number): string[] 34

35 Type vs Interface type Point = { x: number y: number interface Point { x: number y: number implements interface Type1 Type2 35

36 Тип Множество Можем объединять типы Можем пересекать типы & Можем вычитать из одного типа другой Фух, теперь точно всё... 36

37 А вот и нет! function get(obj, keyname) { return obj[keyname] function get(obj: any, keyname: string): any { return obj[keyname] // TypeError: Cannot read property 'prototype' of null get(null, 'prototype') 37

38 А вот и нет! function get(obj, keyname) { return obj[keyname] function get(obj: any, keyname: string): any { return obj[keyname] // TypeError: Cannot read property 'prototype' of null get(null, 'prototype') 38

39 А вот и нет! function get(obj, keyname) { return obj[keyname] function get(obj: any, keyname: string): any { return obj[keyname] // TypeError: Cannot read property 'prototype' of null get(null, 'prototype') 39

40 А вот и нет! function get(obj, keyname) { return obj[keyname] function get(obj: any, keyname: string): any { return obj[keyname] // TypeError: Cannot read property 'prototype' of null get(null, 'prototype') 40

41 Нужно уметь обрабатывать значения разных типов идентичным образом Кажется нам нужен... 41

42 42

43 Обобщенные типы function identity(arg: any): any { return arg; 43

44 Обобщенные типы function identity<t>(arg: T): T { return arg; 44

45 Обобщенные функции function identity<t>(arg: T): T { return arg; identity('string') // T is string identity( ) // T is number identity([4, 8, 15, 16, 23, 42]) // T is number[] 45

46 Встроенные обобщенные типы const fib: Array<number> = [1, 1, 2, 3, 5] // Argument of type 'string' // is not assignable to parameter of type 'number'. fib.push( '1') ~~~~~~~~~ const map: Map<number, string> = new Map() // Argument of type 'number' // is not assignable to parameter of type 'string'. map.set(1, ) 1~~~ 46

47 Обобщенные интерфейсы interface IStack<TItem> { push(item: TItem) pop(): TItem let numstack: IStack<number> = [1, 2, 3] 47

48 Обобщенные интерфейсы interface IStack<number> { push(item: number) pop(): number let numstack: IStack<number> = [1, 2, 3] 48

49 Обобщенные типы type AsyncResult<TResult> = Promise<TResult> TResult let result: AsyncResult<string> = Promise.resolve('200') let result: AsyncResult<string> = '200' 49

50 Обобщенные типы type AsyncResult<string> = Promise<string> string let result: AsyncResult<string> = Promise.resolve('200') let result: AsyncResult<string> = '200' 50

51 Обобщенные классы class Stack<TItem> implements IStack<TItem> { private state: TItem[] constructor() { this.state = [] push(item: TItem) { this.state.push(item) pop(): TItem { return this.state.pop() 51

52 Обобщенные классы class Stack<TItem> implements IStack<TItem> { private state: TItem[] = [] push(item: TItem) { this.state.push(item) pop(): TItem { return this.state.pop() 52

53 Обобщенные типы interface ISwim { swim() class Dog implements ISwim { swim() {... class Duck implements ISwim { swim() {... 53

54 Ограничения на обобщенные типы function swimtogether< T1 implements ISwim, T2 implements ISwim >(firstpal: T1, secondpal: T2) { firstpal.swim() secondpal.swim() 54

55 55

56 Обобщенные типы type TypeName<T> = T extends string? 'string' : T extends number? 'number' : T extends boolean? 'boolean' : T extends undefined? 'undefined' : T extends Function? 'function' : 'object' 56

57 Обобщенные типы type TypeName<string> = string extends string? 'string' : T extends number? 'number' : T extends boolean? 'boolean' : T extends undefined? 'undefined' : T extends Function? 'function' : 'object' 57

58 Обобщенные типы type TypeName<number> = number extends string? 'string' : number extends number? 'number' : T extends boolean? 'boolean' : T extends undefined? 'undefined' : T extends Function? 'function' : 'object' 58

59 Наша функция function get(obj: any, keyname: string): any { return obj[keyname] 59

60 Наша функция function get<t>(obj: T, keyname: string): any { return obj[keyname] 60

61 Хотим знать список полей объекта и их типы на этапе компиляции Решение: Lookup Types и keyof 61

62 Lookup типы interface IUser { login: string age: number gender: 'male' 'female' let login: IUser['login'] let login: string let loginorage: IUser['login' 'age'] let loginorage: string number 62

63 keyof interface IUser { login: string age: number gender: 'male' 'female' let key: keyof IUser let key: 'login' 'age' 'gender' 63

64 Наша простая функция function get(obj, keyname) { return obj[keyname] 64

65 Наша простая функция function get<t>(obj: T, keyname: keyof T): T[keyof T] { return obj[keyname] 65

66 Наша простая функция function get<t>(obj: T, keyname: keyof T): T[keyof T] { return obj[keyname] let a: number = get({ a: 1, 'a') 66

67 Наша простая функция function get<{ a: 1 >(obj: T, keyname: keyof T): T[keyof T] { return obj[keyname] let a: number = get({ a: 1, 'a') 67

68 Наша простая функция function get<{ a: 1 >(obj: T, keyname: 'a'): T['a'] { return obj[keyname] let a: number = get({ a: 1, 'a') 68

69 Наша простая функция function get<{ a: 1 >(obj: T, keyname: 'a'): number { return obj[keyname] let a: number = get({ a: 1, 'a') 69

70 Наша простая функция function get<t>(obj: T, keyname: keyof T): T[keyof T] { return obj[keyname] let a: number = get({ a: 1, 'a') // Argument of type '"c"' // is not assignable to parameter of type '"a" "b"'. let c: undefined = get({ a: 1, b: 2, 'c') ~~~~~~~~~ 70

71 Наша простая функция function get<t, K extends keyof T>(obj: T, keyname: K): T[K] { return obj[keyname] let a: number = get({ a: 1, 'a') let c: undefined = get({ a: 1, b: 2, 'c') 71

72 Перерыв 72

73 А что там в es5? interface IUser { login: string age: number gender: 'male' 'female' const user = { login: 'dimastark', age: 21, gender: 'male' const readonlyuser:? = Object.freeze(user) 73

74 А что там в es5? interface IFrozenUser { readonly login: string readonly age: number readonly gender: 'male' 'female' const user = { login: 'dimastark', age: 21, gender: 'male' const readonlyuser: IFrozenUser = Object.freeze(user) Решение: Mapped Types 74

75 75

76 Mapped Types interface IUser { login: string age: number gender: 'male' 'female' type Readonly<T> = { ; readonly [P in 'login' 'age' 'gender']: T[P]; const user = { login: 'dimastark', age: 21, gender: 'male' const readonlyuser: Readonly<IUser> = Object.freeze(user) 76

77 Mapped Types + keyof interface IUser { login: string age: number gender: 'male' 'female' type Readonly<T> = { ; readonly [P in keyof T]: T[P]; const user = { login: 'dimastark', age: 21, gender: 'male' const readonlyuser: Readonly<IUser> = Object.freeze(user) 77

78 infer type ValueOf<T> = T extends { [key: string]: infer U? U : never; ValueOf<{ a: string, b: string > // string ValueOf<{ a: string, b: number > // string number 78

79 Mapped Types interface IUser { login: string birthdate: { year: number month: number day: number gender: 'male' 'female' 79

80 Mapped Types type DeepReadonly<T> = { [P in keyof T]: T[P] extends (infer U)[]? DeepReadonly<U>[] : T[P] extends object? DeepReadonly<T[P]> : readonly T[P]; ; 80

81 Mapped Types type DeepReadonly<T> = { [P in keyof T]: T[P] extends (infer U)[]? DeepReadonly<U>[] : T[P] extends object? DeepReadonly<T[P]> : readonly T[P]; ; 81

82 Mapped Types type DeepReadonly<T> = { [P in keyof T]: T[P] extends (infer U)[]? DeepReadonly<U>[] : T[P] extends object? DeepReadonly<T[P]> : readonly T[P]; ; 82

83 Mapped Types type DeepReadonly<T> = { [P in keyof T]: T[P] extends (infer U)[]? DeepReadonly<U>[] : T[P] extends object? DeepReadonly<T[P]> : readonly T[P]; ; 83

84 Mapped Types type DeepReadonly<T> = { [P in keyof T]: T[P] extends (infer U)[]? DeepReadonly<U>[] : T[P] extends object? DeepReadonly<T[P]> : readonly T[P]; ; 84

85 Mapped Types type DeepReadonly<T> = { [P in keyof T]: T[P] extends (infer U)[]? DeepReadonly<U>[] : T[P] extends object? DeepReadonly<T[P]> : readonly T[P]; ; 85

86 Mapped Types type DeepReadonly<T> = { [P in keyof T]: T[P] extends (infer U)[]? DeepReadonly<U>[] : T[P] extends object? DeepReadonly<T[P]> : readonly T[P]; ; 86

87 Mapped Types type DeepReadonly<T> = { [P in keyof T]: T[P] extends (infer U)[]? DeepReadonly<U>[] : T[P] extends object? DeepReadonly<T[P]> : readonly T[P]; ; 87

88 Mapped Types type DeepReadonly<T> = { [P in keyof T]: T[P] extends (infer U)[]? DeepReadonly<U>[] : T[P] extends object? DeepReadonly<T[P]> : readonly T[P]; ; 88

89 Ссылочки TypeScript Handbook. Advanced. TypeScript Deep Dive Андрей Старовойт Эволюция TypeScript TypeScript Playground 89

90 Вопросы? 90

91 Спасибо! 91