📌 9가지 프로그래밍 언어로 배우는 타입 이론

타입 이론(Type Theory)에 대해 들어보셨나요? 9가지 프로그래밍 언어(C, C++, Java, C#, Scala, Go, Rust, Kotlin, TypeScript)를 예시로 들어 타입 이론을 배울 수 있는 좋은 글이 있어 소개드립니다. 곱 타입(Product Type)과 합 타입(Sum Type) 개념을 소개하고 패턴 매칭(Pattern Matching)에 대해서도 다룹니다.