왜 F#인가? | GeekNews

rkttu · 4월 3, 2025, 1:11오전

Chris_Shim · 4월 3, 2025, 1:54오전

F#의 미래는 장미빛이 아니지요.

마이크로소프트는 이미 F#에 대해 개선 의지가 없음을 2023년에 피력하기도 했습니다.

Ionide은 가장 중요한 F#의 오프소스지만 Microsoft의 선의에 기대야 하는 상태입니다.

개인적으로는 F#의 철학이 C#에 잘 녹아들기를 간절히 기도 또 기도합니다.

BigSquare · 4월 3, 2025, 2:19오전

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

도입할 계획이 없음을 몇 번이나 피력하고 있지만, 도입이 멀지 않았다는 소문이 자자합니다.

What functional language should I learn? | by Enrico Buonanno | HackerNoon.com | Medium

"C#으로 쓰는 함수형 프로그래밍"의 저자 엔리코 붜나노도 순수 함수형 언어로는 Haksel 을 추천하고, 멀티 패러다임 언어 중에는 F# 이 아닌 Scalar 를 배우라고 추천하고 있을 정도입니다. 아마 먹고 사는 문제가 가장 많은 영향을 끼친 듯 합니다.

Chris_Shim · 4월 3, 2025, 2:21오전

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년 정도 된 거 같아요.