<div id="readability-page-1" class="page"><div id="outline-text-headline-4">
<pre>구조적 타입 시스템을 제공하는 타입스크립트
</pre>

타입은 무엇인가?
<blockquote>
A type is a classification of data that defines the operations that can be done on that data, the meaning of the data, and the set of allowed values Typing is checked by the compiler and/or run time to ensure the integrity of the data, enforce access restrictions, and interpret the data as meant by the developer
<ul>
<li>Programming with Types, Vlad Riscutia</li>
</ul>
타입은;
해당 데이터에 대해 수행할 수 있는 작업을 구분하고,
데이터 스스로 의미를 규정하고,
컴파일러나 인터프리터가 오류없이 다룰 수 있는 값들에 대한 범위를 제한하며,
접근 제어를 강제하고,
개발자에게 데이터가 뭘 의미하는지 알려 준다.
</blockquote>

내 경우, 로우레벨로 보면 타입은 이 자료가 메모리를 얼마나 차지하고 있느냐, 라고 소개하고 뭉개 버린다.

타입은 프로그래밍에 필수 요소다. 아닌 것 같지만 자바스크립트도 타입이 있다.
number, string, boolean 이 대표적인 프리미티브 타입이다. object, array, function 등이 컴포지트 타입에 속한다.

자바스트립트는 타입이 있지만 동적 타입 언어에 속한다.
<div><pre tabindex="0"><code data-lang="js">let val = 1234
val = 'Onetwothreefour'</code></pre></div>
정의된 식별자에 다른 타입의 값을 지정해도 잘 동작하고 심지어 다른 타입끼리 연산도 허용되기도 한다. 😬


강타입이 주는 이점은 여러가지가 있다. 타입스크립트는 자바스크립트를 강타입 언어로 한 번 더 포장해 준다.

그리고 Shape 이란 용어가 소개되는데 타입스크립트의 구조적structural 타입 시스템을 설명하기 위해 사용된 것으로 보면 된다.
<div><pre tabindex="0"><code data-lang="js">const person = {
 firstName: 'Stefan',
 lastName: 'Baumgartner',
 age: 38
}</code></pre></div>
이 코드는
<div><pre tabindex="0"><code data-lang="typescript">type Person = {
 firstName: string,
 lastName: string,
 age: number
}</code></pre></div>
이런 모양shape으로 표현된다.

이 모양에 대한 설명은 구조적 타입 시스템으로 계속 반복된다. (이에 상대되는 개념으로 nominal type system 이 있습니다.)
</div></div>

FaultNote

YoungTaek

타입스크립트 in 50 레슨 스테판 바움가트너가 스매싱 매거진에서 출판한 서적으로 타입스크립트 주요 주제들에 대해 잘 짚어주고 있다. https://typescript-book.com/ 다루고 있는 주제는 아래와 같다

TypeScript 50 Lessons Part 1

댓글