타입 이론 개요

프로그래밍 언어의 타입 이론을 통해 더 나은 코드를 작성하는 방법을 알아봅니다.

언어별 특징

C, C++, Java, C#, Scala, Go, Rust, Kotlin, Typescript의 각 언어별 특징과 타입 시스템을 비교합니다.

Null 처리

Null 참조의 문제점과 이를 해결하는 각 언어의 nullable 타입 구현 방식을 설명합니다.

• 합 타입과 곱 타입
• 컴포지션을 통한 데이터 타입 설계

예외 처리와 에러 핸들링의 문제점을 분석하고, Rust와 Scala의 합 타입을 통한 에러 처리 방식을 소개합니다.