유니온과 인터섹션 타입 A, B라는 두 사물이 있을 때 이를 유니온(union; 합집합)하면 둘을 합친 (A나 B에 해당하는 것 전부) 결과가 나오며 인터섹션(intersection; 교집합)하면 둘의 공통부분(A, B 모두에 속하는 것)이 결과로 나옵니다. TypeScript는 타입에 적용할 수 있는 특별한 연산자인 유니온(|)과 인터섹션(&)을 제공합니다. 타입은 집합과 비슷하므로 집합처럼 연산을 수행할 수 있습니다. type Cat = {name: string, purrs: boolean} type Dog = {name: string, barks: boolean, wags: boolean} type CatOrDogOrBoth = Cat | Dog type CatAndDog = Cat & Dog Ca..
타입 별칭 let, const, var로 변수를 선언해서 값 대신 변수로 칭하듯이 타입 별칭으로 타입을 가리킬 수 있습니다. type Age = number type Person = { name: string age: Age } Age는 number입니다. 타입 별칭을 이용하면 Person의 형태를 조금 더 이해하기 쉽게 정의할 수 있습니다. 그러나 TypeScript는 별칭을 추론하진 않으므로 반드시 별칭의 타입을 명시적으로 정의해야 합니다. let age: Age = 24 let girl: Person = { name: 'Cozy Linda', age: age } Age는 number의 별칭이므로 number에도 할당할 수 있습니다. 따라서 코드를 아래처럼 바꿀 수 있습니다. let age = 24 ..
타입 시스템 최신 언어들은 저마다의 타입 시스템을 갖추고 있습니다. 타입 시스템(type system) 타입 검사기가 프로그램에 타입을 할당하는 데 사용하는 규칙 집합 타입 시스템은 어떤 타입을 사용하는지를 컴파일러에 명시적으로 알려주는 타입 시스템과 자동으로 타입을 추론하는 타입 시스템으로 구분되며, 두 시스템은 서로 장단점이 있습니다. TypeScript는 두 가지 시스템 모두의 영향을 받았습니다. 즉, 개발자는 타입을 명시하거나 TypeScript가 추론하도록 하는 방식 중에서 선택할 수 있습니다. 어노테이션을 이용하면, TypeScript에 명시적으로 타입을 지정할 수 있습니다. 어노테이션은 'value: type' 형태로 쓰이며 타입 검사기에게 이 value의 타입은 type이라고 알리는 역할을..
컴파일러 프로그램은 프로그래머가 작성한 다수의 텍스트 파일로 구성됩니다. 해당 텍스트를 컴파일러(compiler)라는 특별한 프로그램이 파싱 하여 추상 문법 트리(Abstract Syntax Tree, AST)라는 자료구조로 변환합니다. AST는 공백, 주석, 그리고 탭 등의 결과를 완전히 무시하고, 다시 AST를 바이트코드(bytecode)라는 하위 수준의 표현으로 변환합니다. 바이트코드가 만들어졌으면 런타임(runtime)이라는 다른 프로그램에 바이트코드를 입력해 평가하고 결과를 얻을 수 있습니다. 즉, 프로그램을 실행하는 것은 컴파일러가 소스 코드를 파싱해 AST로 만들고, 다시 AST를 바이트코드로 변환한 것을 런타임이 평가하도록 지시한다는 의미입니다. 위의 과정을 요약하면, 아래와 같습니다. 프..