Download as PDF, PPTX
![[NHN NEXT] Java 강의 - Week4](https://cdn.slidesharecdn.com/ss_thumbnails/plinjava-week04-140812103158-phpapp02-thumbnail.jpg?width=640&height=640&fit=bounds)
![[Td 2015]java script에게 형(type)이 생겼어요. typescript(박용준)](https://cdn.slidesharecdn.com/ss_thumbnails/td2015javascripttype-151104051048-lva1-app6892-thumbnail.jpg?width=640&height=640&fit=bounds)
인프콘-타입스크립트는 왜 그럴까?-이정환.pdf
- 1. 타입스크립트는 왜 그럴까? 집합으로이해하는 타입스크립트 이정환
- 2. 타입스크립트는 왜 그럴까? 집합으로이해하는 타입스크립트
- 3. 발표자 소개 3가지 문장으로소개해 드릴게요 !
- 4. 이정환 winterlood 무엇이든 쉽게설명할 방법이 있다고 믿는 사람 • 🎞 강의 한 입 크기로 잘라먹는 리액트 • 🎞 강의 한 입 크기로 잘라먹는 타입스크립트 • 📚 도서 한 입 크기로 잘라먹는 리액트
- 5. 이정환 winterlood 따뜻한 개발자커뮤니티를 만들고 싶어하는 사람 • 오픈채팅, 디스코드 한입 FE 커뮤니티 운영 중 현재 약 700분 참가
- 6. 이정환 winterlood 이름이 많은사람 • 윈터우드, 윈터로드, 원터로드, 워터루드, 워터로드 등 …
- 7. 대상 청중 이런분들을 위해 준비했어요 1. 타입스크립트를 배웠지만 아직 헷갈리시는 개념이 많은 분들 • Any, Unkown, Never 등의 타입들이 아직 혼란스럽게 느껴지는 분들 • 타입간의 호환성이나 유니온, 인터섹션 등의 대수 타입 등을 확실히 이해하기 어려운 분들 2. 타입스크립트를 이제 막 배워보려고 하시는 분들 • 프로그래밍에서 타입이 무엇을 의미하는지 아시는 분 • C 또는 Java 등의 강 타입 언어를 사용해본 경험이 있으신 분 3. 타입스크립트 고수님들 • 귀엽게 들어주세요 😢
- 8. 목차 이런 이야기들을할 거에요 1. 타입을 집합으로 이해하기 2. 타입 호환성 이해하기 3. 타입 계층도 살펴보기 4. 객체 타입과 집합 5. 대수 타입과 집합
- 9. 1. 타입을 집합으로이해하기 2. 타입 호환성 이해하기 3. 타입 계층도와 함께 특수한 타입들 이해하기 4. 객체 타입을 집합으로 바라보기 5. 대수 타입을 집합으로 바라보기
- 10. 타입을 집합으로 이해하기 집합Set 특정 조건에 맞는 원소들의 모임 ex 강아지, 고양이 동물 집합
- 11.
- 12.
- 13. 타입을 집합으로 이해하기 Hello infcon winterlood 이정환 true false String타입 Number 타입 - 20 729 0.25 - 0.123 0
- 14. 타입을 집합으로 이해하기 Hello infcon winterlood 이정환 true false String타입 Number 타입 - 20 729 0.25 - 0.123 0 Boolean 타입
- 15.
- 16. 20 Infinity 729 0.25 - 0.123 타입을 집합으로 이해하기 Number타입 hello 오류 : 집합에 속하지 않는 값을 대입하려고 했음
- 17.
- 18. 20 Infinity 729 0.25 - 타입을 집합으로 이해하기 오류: 집합에 속하지 않는 값을 대입하려고 했음 Number 리터럴 타입
- 19. 20 Infinity 729 0.25 - 0.123 타입을 집합으로 이해하기 Number리터럴 타입 Number 타입
- 20. 20 Infinity 729 0.25 - 0.123 타입을 집합으로 이해하기 Number타입 Number 리터럴 타입
- 21. 타입을 집합으로 이해하기 슈퍼타입 부모 서브 타입 자식 Number Number 리터럴 타입
- 22. 타입을 집합으로 이해하기 Number타입 Number 리터럴 타입 String 타입 String 리터럴 타입 Unknown 타입
- 23. 타입을 집합으로 이해하기타입 계층도 *위에 있을 수록 슈퍼타입 Null Void Undefined Number String Boolean Object Unknown Never Any 치트키
- 24. 1. 타입을 집합으로이해하기 2. 타입 호환성 이해하기 3. 타입 계층도와 함께 특수한 타입들 이해하기 4. 객체 타입을 집합으로 바라보기 5. 대수 타입을 집합으로 바라보기
- 25. 타입 호환성 Number Number 리터럴 특정타입의 값을 다른 타입으로 취급해도 괜찮은지 판단하는 것
- 26. 타입 호환성 다운 캐스팅 DownCasting 타입 호환성은 타입간의 슈퍼 서브 관계를 기준으로 판단 됨 슈퍼 타입 서브 타입 업 캐스팅 Up Casting
- 27. 타입 호환성 모든 동물강아지 ex 동물과 강아지의 관계 동물 강아지 모든 강아지 동물
- 28.
- 29. 타입 호환성 Number 타입Number 리터럴 타입 <
- 30. 타입 호환성 Number 타입Number 리터럴 타입 < Number Number 리터럴 업 캐스팅 가능
- 31. 타입 호환성 Number 리터럴타입 Number 타입 <
- 32. 타입 호환성 Number 리터럴타입 Number 타입 < Number Number 리터럴 다운 캐스팅 불가능
- 33. 1. 타입을 집합으로이해하기 2. 타입 호환성 이해하기 3. 타입 계층도와 함께 특수한 타입들 이해하기 4. 객체 타입을 집합으로 바라보기 5. 대수 타입을 집합으로 바라보기
- 34. 타입 계층도와 함께특수한 타입들 이해하기 Null Void Undefined Number String Boolean Object Unknown Never Any 치트키
- 35. 1. Unknown 타입전체 집합 Null Void Undefined Number String Boolean Object Unknown Never Any 치트키 전체 집합
- 36. 1. Unknown 타입전체 집합 모든 타입의 값을 저장할 수 있음
- 37. 1. Unknown 타입전체 집합 모든 타입의 값을 저장할 수 있음 Unknown Number String …
- 38. 어떤 타입의 변수에도저장할 수 없음 1. Unknown 타입 전체 집합
- 39. 1. Unknown 타입전체 집합 Unknown Number String … 어떤 타입의 변수에도 저장할 수 없음
- 40. 1. Unknown 타입전체 집합 🤔 언제 사용할 수 있을까? • 현재 정확한 타입을 알기 어려울 때 사용
- 41. 1. Unknown 타입전체 집합 🤔 언제 사용할 수 있을까? • 현재 정확한 타입을 알기 어려울 때 사용 • 타입 좁히기와 함께 값을 유연하게 사용 가능
- 42. 2. Never 타입공집합 Null Void Number String Boolean Object Unknown Never Any 치트키 공집합 Undefined
- 43. 2. Never 타입공집합 모든 타입의 변수에 저장 가능
- 44. 2. Never 타입공집합 Number String … Never 모든 타입의 변수에 저장 가능
- 45. 2. Never 타입공집합 어떤 타입의 값도 저장할 수 없음
- 46. 2. Never 타입공집합 Number String … Never 어떤 타입의 값도 저장할 수 없음
- 47. 2. Never 타입공집합 🤔 언제 사용할 수 있을까? • 호출되지 않아야 하는 함수를 만들 때
- 48. 2. Never 타입공집합 🤔 언제 사용할 수 있을까? • 호출되지 않아야 하는 함수를 만들 때 • Switch의 완전성을 보장하기 위해 활용 가능
- 49. 2. Never 타입공집합 🤔 언제 사용할 수 있을까? • 호출되지 않아야 하는 함수를 만들 때 • Switch의 완전성을 보장하기 위해 활용 가능 완전성이 보장되지 않은 Switch
- 50. 2. Never 타입공집합 🤔 언제 사용할 수 있을까? • 호출되지 않아야 하는 함수를 만들 때 • Switch의 완전성을 보장하기 위해 활용 가능 완전성이 보장된 Switch
- 51. 3. Any 타입치트키 Null Void Number String Boolean Object Unknown Never Any 치트키 Undefined
- 52. 3. Any 타입치트키 타입 검사를 받지 않음
- 53. 3. Any 타입치트키 Any Any Number String … 타입 검사를 받지 않음
- 54. 3. Any 타입치트키 예외적으로 Never 타입의 변수에는 저장 불가
- 55. 3. Any 타입치트키 🤔 언제 사용할 수 있을까? • 불가능 한 타입 단언을 가능케 할 수 있음 number -> string 단언 불가
- 56. 3. Any 타입치트키 🤔 언제 사용할 수 있을까? • 불가능 한 타입 단언을 가능케 할 수 있음 number -> any any -> string
- 57. 3. Any 타입치트키 🤔 언제 사용할 수 있을까? • 불가능 한 타입 단언을 가능케 할 수 있음 • Unknown을 이용해도 가능 함 number -> unknown unknown -> string
- 58. 타입 계층도와 함께특수한 타입들 이해하기 Null Void Undefined Number String Boolean Object Unknown Never Any 치트키
- 59. Quiz. • A, B,C, D는 각각 어떤 타입으로 추론될까요?
- 60. Quiz. A = never • A ∩ •모든 집합 A에 대해 A ∩ 는 이다. • 어떤 집합과 공집합간의 교집합은 공집합이다
- 61. Quiz. • A ∪ = A •모든 집합 A에 대해 A ∪ 는 A이다. • 어떤 집합과 공집합의 합집합은 해당 집합이다 B = string
- 62. Quiz. • A ∩U = A • 모든 집합 A에 대해 A ∩ U는 A이다. • U 전체 집합 과 어떤 집합의 합집합은 해당 집합이다 C = string
- 63. Quiz. • A ∪U = U • 모든 집합 A에 대해 A ∪ U는 U이다. • U 전체 집합 와 어떤 집합의 합집합은 해당 집합이다 D = unknown
- 64. 1. 타입을 집합으로이해하기 2. 타입 호환성 이해하기 3. 타입 계층도와 함께 특수한 타입들 이해하기 4. 객체 타입을 집합으로 바라보기 5. 대수 타입을 집합으로 바라보기
- 65. 객체 타입과 집합 구조적타입 시스템 • 프로퍼티를 기준으로 타입을 정의함
- 66. 객체 타입과 집합 구조적타입 시스템 • 프로퍼티를 기준으로 타입을 정의함 name: 이정환 name: 이정환 , job: 개발자 … 등등 Person 타입
- 67. 객체 타입과 집합 구조적타입 시스템 • 프로퍼티를 기준으로 타입을 정의함 name: 이정환 name: 이정환 , job: 개발자 … 등등 Person 타입 이 타입에 포함되기 위한 제약 사항, 조건
- 68. 객체 타입과 집합 구조적타입 시스템 • 프로퍼티를 기준으로 타입을 정의함 name: 이정환 , school: 가톨릭대 … 등등 Student 타입
- 69. 객체 타입과 집합 Person타입 Student 타입
- 70. 객체 타입과 집합 Person타입 Student 타입 name: 이정환 , school: 가톨릭대학교
- 71. 객체 타입과 집합 name:이정환 name: 홍길동 , job: 의적 Person 타입 Student 타입 name: 이정환 , school: 가톨릭대학교
- 72. 객체 타입과 집합 Person타입 Student 타입
- 73. 1. 타입을 집합으로이해하기 2. 타입 호환성 이해하기 3. 타입 계층도와 함께 특수한 타입들 이해하기 4. 객체 타입을 집합으로 바라보기 5. 대수 타입을 집합으로 바라보기
- 74. 대수 타입 AlgebraicData Types 대수 타입이란? • 둘 이상의 타입을 합쳐 만든 타입 *유니온 *인터섹션
- 75. 유니온 Union 타입with 객체 타입 Person 타입 Student 타입 name school
- 76. 유니온 Union 타입with 객체 타입 Person 타입 Student 타입 name school ???
- 77. 유니온 Union 타입with 객체 타입 Person 타입 Student 타입 1. Person 타입에만 포함되는 값 name school
- 78. 유니온 Union 타입with 객체 타입 Person 타입 Student 타입 1. Person 타입에만 포함되는 값 2. Student 타입에만 포함되는 값 name school
- 79. 유니온 Union 타입with 객체 타입 Person 타입 Student 타입 1. Person 타입에만 포함되는 값 2. Student 타입에만 포함되는 값 3. Person, Student 타입 모두에 속하는 값 name school
- 80. 인터섹션 Intersection 타입with 객체 타입 Person 타입 Student 타입 name school
- 81. 인터섹션 Intersection 타입with 객체 타입 Person 타입 Student 타입 1. Person, Student 타입 모두에 속하는 값 name school
- 82. 대수 타입 AlgebraicData Types 유니온 타입 인터섹션 타입
- 83.