DIL: 이펙티브 타입스크립트

스터디: 월간 CS, https://github.com/monthly-cs/2024-05-effective-typescript
작성일: 2024-05-20
작성자: dusunax

---

치과 야간진료 이슈로 11시에 잠깐 읽었습니다🤕

3장 타입 추론

• 산업계 언어는 정적 타입과 명시적 타입이 전통적으로 같은 의미
• 학술계 언어는 혼동해서 쓰지 않음

| 언어 | 계열 | 내용 | | ---------- | ------ | --------------------------------------------------------------- | | ML, 하스켈 | 학술계 | 타입 추론 시스템 | | C++, 자바 | 산업계 | 10년 전부터 기존 산업계 언어에도 타입 추론 기능이 추가되기 시작 |

정적 타입(static typing) vs. 명시적 타입(explicit typing)

• 정적 타입(static typing): 컴파일 시점에 변수의 타입이 결정되는 것을 의미. 타입 안정성을 높여주고, 런타임 오류를 줄이는 데 도움이 된다. 정적 타입 시스템을 가진 언어는 컴파일러가 코드가 실행되기 전에 타입 오류를 검출할 수 있다.

• 명시적 타입(explicit typing): 프로그래머가 변수나 함수의 타입을 명시적으로 선언해야 하는 것을 의미. 코드의 가독성을 높이고, 타입을 명확히 알 수 있게 한다.

타입스크립트

• 타입스크립트는 타입 추론을 적극적으로 수행한다
• 수동으로 명시하는 타입 구문의 수를 줄여, 전체적 안정성이 향상된다
  • 적은 구문으로 숙련되게 사용하기
• 3장 학습 목표
  • 타입 추론이 가능하더라도 명시적으로 타입 선언이 필요한 경우 이해하기
  • 언제 타입 선언을 작성해야 하는지 알기
  • 어떻게 타입을 추론하는지 확인