Type Unions for C# 제안서

[Chris_Shim]

dotnet/csharplang/blob/main/proposals/TypeUnions.md

A proposal for type unions (aka discriminated unions) in C#.

타입이 강조되는 함수형 언어는 대수(Algebraic)적 원리를 도입해 타입을 정의하는데요. 대수에서 ADT(Algebraic Data Type)은 합타입과 곱타입으로 분해됩니다.

C# 7에 튜플이 1급으로 취급되고 C# 8 부터 스위치식이 도입되고 개선되면서 곱타입을 다루는 데 언어적으로 성숙해 졌지요. 다만 합타입을 추가하지 못하는 바람에 ADT를 1급으로 다룰 수 없는 문제가 있습니다.

DU(Discriminated Unions)은 함수형 언어(Scala, haskell, f#)와 최근 개발 언어(Rust, Kotlin)에서 1급으로 제공하는 합타입으로 상속과 비슷해 보이지만 가장 큰 차이점은 상속에 대해 닫혀 있다는 점이지요. FSM(유한상태기계)를 언어에서 1급으로 다룰 수 있다는 장점도 있습니다.

C#이 더욱 저변을 넓힐 수 있는 기회라 생각되네요. (물론 한국 제외)

[Chris_Shim]

meetings/2025/LDM-2025-06-25.md

1년 만에 최근 근황을 살펴 보니 앞으로 10년도 표준 문제로 다툴 기세군요.

5개 제안중 2개는 서로 완전 다른 이야기

[rkttu]

사족입니다만 LDM 미팅이 2013년부터 시작해서 벌써 12년차에 들어가는군요. ㄷㄷ

[BigSquare]

합 타입은 코드로 구현이 가능한 부분이고, 실제로 패키지가 있기도 해서, 개인적으로 그렇게 급한 문제는 아닌 것 같습니다.

당장은 Collection Expression 의 기본 타입이나 얼른 확정해줬으면 하는 바램이 더 큽니다.

var collection = [1, 2, 3, 4]; // error

List 가 될 것이라고 그러더니, 아직까지 감감 무소식이네요.