9가지 프로그래밍 언어로 배우는 개념: 1편 - 타입 이론

다양한 프로그래밍 언어를 학습하는 것은 아키텍처 디자인의 시야를 넓히고 더 나은 코드를 구현하기 위한 필수 과정이다.

특히 Null 참조는 프로그램의 안정성을 해치는 '10억 달러짜리 실수'로 불릴 만큼 치명적인 버그를 유발할 수 있다. 이를 방지하기 위해 현대 언어들은 Nullable 타입을 도입하여 컴파일 타임에 문제를 포착하려 한다.

언어별 Null 처리 방식은 다음과 같이 구분된다.

• Java: Optional<T>를 통해 Null 가능성을 타입 영역으로 관리한다.
• C# & Kotlin: 전용 문법(?)을 통해 Nullable 타입을 명시한다.
• Rust & Scala: Option 타입을 정의하고 None과 Some(T)로 상태를 구분한다.
• TypeScript: 유니온 타입을 활용해 string | null 형태로 표현한다.

Rust, Scala, TypeScript가 유사한 구조를 갖는 이유는 이들이 타입 이론의 **합 타입(Sum Type)**을 기반으로 설계되었기 때문이다.