왜 F#인가? | GeekNews

[Chris_Shim]

@BigSquare

C# 이 discriminated union 의 도입이라는 마지막 고지만 넘으면 F# 의 미래는 더욱 불분명해지지 않을까 합니다.

Type Unions for C# 제안서

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#이 더욱 저변을 넓힐 수 있는 기회라 생각되네요. (물…

한참 다시 논의중입니다.
처음 논의는 5년 정도 하고 실패했는데 지금은 1년 정도 된 거 같아요.