타입 시스템은 계산하는 값의 종류에 따라 프로그램 구문을 분류하여 특정 오류 동작이 없는지 자동으로 검사하는 구문 방식입니다.

-Benjamin.C.Pierce,Types and Programming Languages(2002)

항상 프로그래밍 언어를 이야기하다보면 사람들이 '정적타이핑(Static Typing)' '동적 타이핑(Dynamic Typing)'을 언급하며 이야기하는 것을 볼 수 있다.

보통 타이핑(Typing)은 개발자들이 언어를 선택할 때 자주 고민하는 주제이다.

우선 간단하게 정적 타이핑 과 동적 타이핑이 무엇인지 이야기를 해보자

\

(동적 타이핑과 정적 타이핑 Kolja Wilcke https://x.com/01k 의 그림)

타이핑의 기본 개념 정리

타이핑(Typing System)은 변수,함수, 데이터의 타입을 어떻게 관리하는지를 정의하는 규칙이다.

타입 시스템의 주요 목적은 다음과 같다

-오류 방지:잘못된 타입의 데이터 사용을 미리 방지

-코드 안정성:프로그램의 동작을 더 예측 가능하게 함

-최적화 가능:타입 정보를 활용해 컴파일러가 최적화 가능

특히 정적 타이핑 (Static Typing)과 동적 타이핑(Dynamic Typing)의 차이는 타입을 언제 검사하느냐에 따라 구분된다.

정적 타이핑(Static Typing)

-컴파일(Compile-Time)에 타입을 검사하는 방식

-변수나 함수의 타입이 미리 선언되며, 컴파일 시점에서 타입 오류를 잡을 수 있다.

- 대표적 언어 : C,C++,Java,C#,TypeScript,Kotlin

장점으로는 타입오류를 미리 방지하여 안정성이 높다

단점으로는 코드 작성시 타입을 미리 선언해야하기에 초기 개발속도가 느릴 수 있다.

동적 타이핑(Dynamic Typing)

-런타임(RunTime)에 타입을 검사하는 방식

-변수의 타입을 미리 선언할 필요 없이, 실행중에 타입이 결정됨.

-대표적 언어:Python,JavaScript,Ruby,PHP

age = 32 #정수형

age = "Thirty-two" # 문자열로 변경 (가능)

장점으로는 유연한 코딩 가능, 개발 속도가 빠름

단점으로는 타입 오류가 실행중에 발생할 수 있어 디버깅이 어려울 수 있다.

한 줄로 요약하자면, 정적 타이핑은 특정 종류의 오류가 없음을 증명하는 것이고, 동적 타이핑은 그 오류로부터 복구하는 것이다.

---

그다음은 정적 타이핑과 동적 타이핑 역사(포트란 VS Lisp 로 이야기하고, 점진적 타이핑이라는 하위 개념을 소개하기.

이후에 수학적 기초인, 람다 계산법, 형식 논리를 이야기하기

서브 타이핑과 다형성 부분은 설명할지 고민중-> 강한 타입 시스템과 약한 타입 시스템의 타입 변환에 삽입 시점 고민하기