TypeScript다운 코드를 작성하는 법을 배우자! 타입스크립트(TypeScript)는 자바스크립트에 정적 타입 시스템을 덧붙인 프로그래밍 언어입니다. 정적 타입을 가진 언어는 많지만, 타입스크립트의 타입 시스템은 다른 언어와 비교할 수 없을 정도로 높은 표현력을 지니고 있습니다. 타입스크립트는 웹 브라우저뿐만 아니라 서버 측 개발 등 자바스크립트 생태계의 대규모 확장을 지원하며, 많은 개발자들이 이를 사용하여 개발을 효율화하고 있습니다. 《프로가 되기 위한 타입스크립트 프로그래밍 입문》에서는 프로그램의 안전성을 높이는 기본적인 타입을 다루는 방법부터 타입스크립트의 ‘높은 표현력’의 원천인 리터럴 타입, 유니온 타입, keyof 타입을 다루는 방법까지 폭넓게 다룸으로써 독자가 타입의 유효성을 이해하고 타입스크립트다운 코드를 작성할 수 있도록 했습니다. 또한, 이해하기 어려운 기능이나 타입의 안전성을 위협하는 위험한 기능에 대해서도 기술적 배경과 목적, 용도를 고려한 최선의 방법을 제안합니다.

▣ 01장: 타입스크립트 소개 1.1 타입스크립트란? __1.1.1 자바스크립트에 대한 ‘정적 타이핑’ __1.1.2 뛰어난 표현력을 가진 타입 시스템 __1.1.3 정적 타이핑의 장점 (1) 타입 안전성 __1.1.4 정적 타이핑의 장점 (2) 문서화와 입력 자동 완성 __1.1.5 타입스크립트 연표 1.2 타입스크립트와 자바스크립트의 관계 __1.2.1 타입스크립트 컴파일러의 역할 (1) 타입 검사 __1.2.2 타입스크립트 컴파일러의 역할 (2) 트랜스파일 __1.2.3 타입스크립트와 ECMAScript의 관계 1.3 타입스크립트 개발 환경 __1.3.1 Node.js 설치 __1.3.2 에디터 준비 __1.3.3 디렉터리 생성 및 타입스크립트 설치 __1.3.4 tsconfig.json 준비 __1.3.5 첫 타입스크립트 프로그램 ▣ 02장: 기본 문법 / 기본 타입 2.1 문, 그리고 식 __2.1.1 문, 식의 기본 __2.1.2 문과 식은 ‘결과’의 유무로 구별한다 __2.1.3 표현문 2.2 변수의 선언과 사용 __2.2.1 변수 선언 구문 __2.2.2 식별자 __2.2.3 변수에 타입 표기하기 __2.2.4 let 변수 선언과 변수 재할당 2.3 원시 타입 __2.3.1 원시 값이란 무엇인가 __2.3.2 타입스크립트에서의 숫자 타입의 특징 __2.3.3 숫자 리터럴 __2.3.4 임의 정밀도 정수(BigInt) __2.3.5 문자열 타입과 3종류의 문자열 리터럴 __2.3.6 문자열 안의 이스케이프 시퀀스 __2.3.7 불리언 값과 불리언 리터럴 __2.3.8 null과 undefined __2.3.9 원시 값 변환 (1) 암묵적 변환 __2.3.10 원시 값 변환 (2) 명시적 변환 2.4 연산자 __2.4.1 산술 연산자 (1) 이항 연산자 __2.4.2 산술 연산자 (2) 단항 연산자 __2.4.3 + 연산자로 문자열 결합하기 __2.4.4 비교 연산자와 등가 연산자 __2.4.5 논리 연산자 (1) 불리언 연산 __2.4.6 논리 연산자 (2) 일반형과 단락 평가 __2.4.7 조건 연산자 __2.4.8 대입 연산자 __2.4.9 그 밖의 연산자 2.5 기본적인 제어 구문 __2.5.1 조건 분기 (1) if 문의 기본 __2.5.2 블록 __2.5.3 조건 분기 (2) else 사용 __2.5.4 switch 문 __2.5.5 while 문 루프 __2.5.6 for 문 루프 2.6 테스트 __2.6.1 FizzBuzz __2.6.2 해설 ▣ 03장: 객체의 기본과 객체의 타입 3.1 객체란? __3.1.1 객체는 ‘연관 배열’이다 __3.1.2 객체 리터럴 (1) 기본 구문 __3.1.3 객체 리터럴 (2) 프로퍼티명 지정 방법 __3.1.4 프로퍼티 접근 : 값 취득과 대입 __3.1.5 객체 리터럴 (3) 전개 구문 __3.1.6 객체는 어떤 경우에 ‘같은’가 3.2 객체의 타입 __3.2.1 객체 타입 사용법 __3.2.2 객체 타입의 타입 검사와 안전성 __3.2.3 type 문으로 타입에 별명 붙이기 __3.2.4 interface 선언으로 객체 타입 선언하기 __3.2.5 임의 프로퍼티명을 허용하는 타입(인덱스 시그니처) __3.2.6 선택적 프로퍼티 선언 __3.2.7 읽기 전용 프로퍼티 선언 __3.2.8 typeof 키워드로 변숫값 얻기 3.3 서브타입 관계 __3.3.1 서브타입이란? __3.3.2 프로퍼티의 포함 관계에 의한 서브타입 관계 성립 __3.3.3 초과 프로퍼티에 대한 타입 에러 3.4 타입 인수를 가지는 타입 __3.4.1 타입 인수를 가지는 타입 선언하기 __3.4.2 타입 인수를 가진 타입 사용하기 __3.4.3 서브타입 관계에 따른 타입 인수의 제약 __3.4.4 선택적 타입 인수 3.5 배열 __3.5.1 배열 리터럴로 배열 만들기 __3.5.2 배열 요소에 접근하기 __3.5.3 배열 타입 기법 __3.5.4 readonly 배열 타입 __3.5.5 배열의 기능 사용하기 __3.5.6 for-of 문 루프 __3.5.7 튜플 타입 3.6 분해 할당 __3.6.1 객체의 분해 할당 (1) 기본 패턴 __3.6.2 객체의 분해 할당 (2) 중첩 구조 분해 __3.6.3 배열의 분해 할당 __3.6.4 분해 할당의 기본값 __3.6.5 rest 패턴으로 객체의 나머지 얻기 3.7 그 밖의 내장 객체 __3.7.1 Date 객체 __3.7.2 정규 표현 객체 (1) 정규 표현의 기본 __3.7.3 정규 표현 객체 (2) 정규 표현을 사용하는 방법 __3.7.4 Map 객체·Set 객체 __3.7.5 원시 값인데 프로퍼티가 있다? 3.8 테스트 __3.8.1 데이터 처리 __3.8.2 해설 __3.8.3 다른 해답 ▣ 04장: 타입스크립트의 함수 4.1 함수를 만드는 법 __4.1.1 함수 선언으로 함수 만들기 __4.1.2 반환값이 없는 함수 만들기 __4.1.3 함수 표현식으로 함수 만들기 __4.1.4 화살표 함수 표현식으로 함수 만들기 __4.1.5 화살표 함수 표현식의 생략형 __4.1.6 메서드 기법으로 함수 만들기 __4.1.7 가변 인수 선언 __4.1.8 함수를 호출할 때의 전개 구문 __4.1.9 선택적 인수 선언 __4.1.10 콜백 함수 사용해 보기 4.2 함수의 타입 __4.2.1 함수 타입 표기법 __4.2.2 반환값의 타입 표기는 생략할 수 있다 __4.2.3 반환값의 타입 표기는 생략해야 하는가 __4.2.4 인수의 타입 표기를 생략할 수 있는 경우 __4.2.5 호출 시그니처를 이용한 함수 타입 표현 4.3 함수 타입의 서브타입 관계 __4.3.1 반환값 타입에 따른 서브타입 관계 __4.3.2 인수 타입에 따른 서브타입 관계 __4.3.3 인수의 수에 따른 서브타입 관계 4.4 제네릭 __4.4.1 함수의 타입 인수란 __4.4.2 함수의 타입 인수를 선언하는 방법 __4.4.3 함수의 타입 인수는 생략할 수 있다 __4.4.4 타입 인수를 지닌 함수 타입 4.5 변수 스코프와 함수 __4.5.1 변수의 스코프란 __4.5.2 블록 스코프와 함수 스코프 4.6 테스트 __4.6.1 간단한 함수 만들어보기 __4.6.2 해설 __4.6.3 콜백 함수 연습 4.6.4 해설 ▣ 05장: 타입스크립트의 클래스 5.1 클래스의 선언과 사용 __5.1.1 클래스 선언과 new 구문 __5.1.2 프로퍼티 선언 __5.1.3 메서드 선언 __5.1.4 생성자 __5.1.5 정적 프로퍼티·정적 메서드 __5.1.6 세 종류의 접근 제한자 __5.1.7 생성자 인수에서의 프로퍼티 선언 __5.1.8 클래스 표현식으로 클래스 만들기 __5.1.9 또 하나의 비공개 프로퍼티 __5.1.10 클래스의 정적 초기화 블록 __5.1.11 타입 인수를 지닌 클래스 5.2 클래스의 타입 __5.2.1 클래스 선언은 인스턴스의 타입을 만든다 __5.2.2 new 시그니처를 이용한 인스턴스화 가시성 표현 __5.2.3 instanceof 연산자와 타입 좁히기 5.3 클래스 상속 __5.3.1 상속 (1) 자식은 부모의 기능을 이어받는다 __5.3.2 상속 (2) 부모의 기능 덮어쓰기 __5.3.3 override 수식어의 위력 __5.3.4 private와 protected의 기능과 사용처 __5.3.5 implements 키워드에 의한 클래스의 타입 검사 5.4 this __5.4.1 함수 안의 this는 호출 방법에 따라 정해진다 __5.4.2 화살표 함수에서의 this __5.4.3 this를 조작하는 메서드 __5.4.4 함수 내부 이외의 this 5.5 예외 처리 __5.5.1 throw 문과 Error 객체 __5.5.2 예외를 캐치하는 try-catch 문 __5.5.3 예외 처리와 전역 탈출 __5.5.4 finally로 탈출에 끼어들기 5.6 테스트 __5.6.1 클래스로 바꿔보기 __5.6.2 해설 __5.6.3 클래스를 함수로 바꿔보기 __5.6.4 해설 ▣ 06. 고급 타입 6.1 유니온 타입과 인터섹션 타입 __6.1.1 유니온 타입의 기본 __6.1.2 전파되는 유니온 타입 __6.1.3 인터섹션 타입이란? __6.1.4 유니온 타입과 인터섹션 타입의 밀접한 관계 __6.1.5 선택적 프로퍼티의 재등장 __6.1.6 옵셔널 체이닝에 따른 프로퍼티 접근 6.2 리터럴 타입 __6.2.1 4종류의 리터럴 타입 __6.2.2 템플릿 리터럴 타입 __6.2.3 유니온 타입과 리터럴 타입을 조합해서 사용하는 경우 __6.2.4 리터럴 타입 넓히기 __6.2.5 넓혀지는 리터럴 타입·넓혀지지 않는 리터럴 타입 6.3 타입 좁히기 __6.3.1 등가 연산자를 이용한 좁히기 __6.3.2 typeof 연산자를 이용한 좁히기 __6.3.3 대수적 데이터 타입을 유니온 타입으로 재현하는 테크닉 __6.3.4 switch 문으로도 타입을 좁힐 수 있다 6.4 keyof 타입과 lookup 타입 __6.4.1 lookup 타입이란 __6.4.2 keyof 타입이란 __6.4.3 keyof 타입 / lookup 타입과 제네릭 __6.4.4 number 타입도 키가 될 수 있다? 6.5 as에 의한 타입 단언 __6.5.1 타입 단언을 이용해서 식의 타입 속이기 __6.5.2 as const의 사용법 6.6 any 타입과 unknown 타입 __6.6.1 any 타입이라는 최종 병기 __6.6.2 any 타입의 존재 이유 __6.6.3 any에 가깝지만 안전한 unknown 타입 6.7 더욱 고도의 타입 __6.7.1 --object 타입·never 타입 __6.7.2 타입 서술어 (사용자 정의 타입 가드) __6.7.3 가변 인자 튜플 타입 __6.7.4 mapped types __6.7.5 조건부 타입 __6.7.6 내장 타입 능숙하게 사용하기 6.8 테스트 __6.8.1 서로소 유니온 연습 (1) __6.8.2 해설 __6.8.3 서로소 유니온 연습 (2) __6.8.4 해설 __6.8.5 서로소 유니온 연습 (3) __6.8.6 해설 ▣ 07장: 타입스크립트의 모듈 시스템 7.1 import 선언과 export 선언 __7.1.1 변수 내보내기와 가져오기 __7.1.2 함수도 내보낼 수 있다 __7.1.3 default 내보내기와 default 가져오기 __7.1.4 타입 가져오기·내보내기 __7.1.5 그 밖의 관련 구문 7.2 Node.js의 모듈 시스템 __7.2.1 Node.js의 내장 모듈 __7.2.2 npm이란? __7.2.3 package.json과 package-lock.json의 역할 7.3 DefinitelyTyped와 @types __7.3.1 @types 패키지 설치 7.4 테스트 __7.4.1 파일 읽기 __7.4.2 해설 __7.4.3 path 모듈 사용해 보기 __7.4.4 해설 ▣ 08장: 비동기 처리 8.1 비동기 처리란? __8.1.1 “시간이 걸리는 처리”로서의 비동기 처리 __8.1.2 싱글 스레드 모델·논블로킹 8.2 콜백에 의한 비동기 처리 __8.2.1 콜백 함수란 __8.2.2 타이머 예시 __8.2.3 fs 모듈에 의한 파일 처리 예시 __8.2.4 동기 처리와 비동기 처리의 순서 8.3 프로미스 사용하기 __8.3.1 프로미스 버전의 fs 사용해 보기 __8.3.2 콜백 함수의 등록과 에러 처리 (1) __8.3.3 콜백 함수의 등록과 에러 처리 (2) __8.3.4 프로미스 객체 직접 만들기 __8.3.5 프로미스의 정적 메서드 (1) __8.3.6 프로미스의 정적 메서드 (2) __8.3.7 프로미스의 정적 메서드 (3) __8.3.8 프로미스 체인 (1) 체인 만들기 __8.3.9 프로미스 체인 (2) 연쇄적인 비동기 처리 __8.3.10 프로미스 체인 (3) 에러 처리 __8.3.11 dynamic import 구문 8.4 async/await 구문 __8.4.1 async 함수 만들어보기 __8.4.2 await 식도 사용해 보기 __8.4.3 await의 반환값 __8.4.4 await과 에러 처리 __8.4.5 async 함수의 다양한 선언 방법 8.5 테스트 __8.5.1 fs/promises를 사용해 보기 __8.5.2 해설 __8.5.3 타임아웃 추가해 보기 __8.5.4 해설 ▣ 09장: 타입스크립트의 컴파일러 옵션 9.1 tsconfig.json에 의한 컴파일러 옵션 설정 __9.1.1 tsconfig.json 자동 생성 __9.1.2 파일 경로 관련 설정 파악하기 9.2 검사의 엄격함에 관한 옵션 __9.2.1 검사를 한꺼번에 켜는 strict 옵션 __9.2.2 strictNullChecks로 null과 undefined를 안전하게 검사하기 __9.2.3 타입 누락이나 추론 실패를 방지하는 noImplicitAny 옵션 __9.2.4 인덱스 접근을 엄격하게 만드는 noUncheckedIndexedAccess 옵션 9.2.5 신규 프로젝트에서의 추천 설정 ▣ 부록 부록 1 - 연산자 목록·결합 순위표 부록 2 - 앞으로의 학습 이정표