타입스크립트 프로그래밍

1장

타입 안정성(type safety)

:타입 이용으로 프로그램이 유효하지 않은 작업하지 않도록 해줌

 

->타입스크립트는 코드 입력하는 순간 에러를 바로 알려줌

 

2장

 

컴파일러

:개발자가 작성한 텍스트를 컴파일러라는 프로그램이 추상 문법 트리라는 자료구조로 변환시킴

-> 컴파일러는 AST를 다시 바이트코드라는 하위 수준의 표현으로 변환

-> 바이트코드가 만들어지면 런타임이라는 다른 프로그램에 바이트코드를 입력해 평가하고 결과를

얻을 수 있음

 

**AST(abstract syntax tree): 추상 문법 트리 

 

타입검사기(typechecker)

:코드의 타입 안전성 검증하는 프로그램 

 

**TSC(typescript compiler)

 

타입시스템

:타입검사기가 프로그램에 타입을 할당하는 데 사용하는 규칙 집합

i)어노테이션 이용

타입을 명시적으로 지정

 

ii)어노테이션 이용 x

타입스크립트가 자동으로 타입 추론 

=>타입스크립트가 자동으로 타입 추론하도록 하는 것이 코드를 줄일 수 있는 방법이므로

보통 어노테이션을 이용하지 않음. 

 

타입 시스템 기능	자바스크립트	타입스크립트
타입 결정 방식	동적	정적
타입 자동 변환	O	X(대부분)
언제 타입을 확인하는지	런타임	컴파일타임
언제 에러를 검출	런타임(대부분)	컴파일타임(대부분)

자바스크립트

->런타임 즉, 프로그램 실행 전에는 타입을 알 수 없음, 동적 타입 바인딩

 

타입스크립트

->점진적 타입 확인(gradually typed), 컴파일 타ㅇ