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

간단 소개

타입 이론을 통해 다양한 프로그래밍 언어의 특징과 에러 처리 방식을 비교 분석하고, 이상적인 코드 구현에 대한 시각을 넓힌다.

AI Summary

서론: 다양한 프로그래밍 언어 학습은 사고 확장과 이상적인 코드 구현에 도움을 준다. 이 글은 타입 이론을 중심으로 여러 언어의 특징을 비교 분석한다.
타입 이론: 곱 타입과 합 타입은 타입 확장의 핵심 개념이다. 곱 타입은 여러 정보를 묶어 표현(struct, DTO), 합 타입은 추가적인 정보 표현(nullable 타입)에 사용된다. Scala, Rust, Typescript는 합 타입을 기반으로 nullable 타입을 지원한다.
에러 처리와 타입 이론: 튜플(곱 타입의 익명 타입)은 여러 값을 반환할 때 유용하며, 익명적 합 타입은 오류 처리 결과 반환에 사용된다. Rust와 Scala는 예외 대신 Sum Type을 활용하여 에러를 처리하고, Go는 error를 다중 출력하는 방식으로 에러를 처리한다. 상속 대신 컴포지션을 사용하여 데이터 설계를 유도한다.