타입 시스템 최신 언어들은 저마다의 타입 시스템을 갖추고 있습니다. 타입 시스템(type system) 타입 검사기가 프로그램에 타입을 할당하는 데 사용하는 규칙 집합 타입 시스템은 어떤 타입을 사용하는지를 컴파일러에 명시적으로 알려주는 타입 시스템과 자동으로 타입을 추론하는 타입 시스템으로 구분되며, 두 시스템은 서로 장단점이 있습니다. TypeScript는 두 가지 시스템 모두의 영향을 받았습니다. 즉, 개발자는 타입을 명시하거나 TypeScript가 추론하도록 하는 방식 중에서 선택할 수 있습니다. 어노테이션을 이용하면, TypeScript에 명시적으로 타입을 지정할 수 있습니다. 어노테이션은 'value: type' 형태로 쓰이며 타입 검사기에게 이 value의 타입은 type이라고 알리는 역할을..
컴파일러 프로그램은 프로그래머가 작성한 다수의 텍스트 파일로 구성됩니다. 해당 텍스트를 컴파일러(compiler)라는 특별한 프로그램이 파싱 하여 추상 문법 트리(Abstract Syntax Tree, AST)라는 자료구조로 변환합니다. AST는 공백, 주석, 그리고 탭 등의 결과를 완전히 무시하고, 다시 AST를 바이트코드(bytecode)라는 하위 수준의 표현으로 변환합니다. 바이트코드가 만들어졌으면 런타임(runtime)이라는 다른 프로그램에 바이트코드를 입력해 평가하고 결과를 얻을 수 있습니다. 즉, 프로그램을 실행하는 것은 컴파일러가 소스 코드를 파싱해 AST로 만들고, 다시 AST를 바이트코드로 변환한 것을 런타임이 평가하도록 지시한다는 의미입니다. 위의 과정을 요약하면, 아래와 같습니다. 프..
bigint bigint는 JavaScript와 TypeScript에 새로 추가된 타입으로, 이를 이용하면 라운딩 관련 에러 걱정 없이 큰 정수를 처리할 수 있습니다. number는 253까지의 정수를 표현할 수 있지만, bigint를 이용하면 이보다 큰 수도 표현할 수 있습니다. bigint 타입은 모든 BigInt의 집합으로 덧셈(+), 뺄셈(-), 곱셈(*), 나눗셈(/), 비교(
void void는 어떤 타입도 가지지 않는 빈 상태를 의미합니다. 값은 없고, 타입만 있으며, 소문자입니다.(따라서 할당 가능한 값은 undefined입니다.) 명시적으로 아무것도 반환하지 않는 함수의 반환 타입(ex: console.log)을 가리며 이러한 함수의 리턴 타입으로 사용합니다. 그 외에는 사용할 일이 거의 없습니다. function returnVoid(message): void { console.log(message); } returnVoid('리턴이 없슴돠'); let unusable: void = undefined;
