F# vNext は何が "ヤバい" のか: Monadic Programming の新時代 - Qiita

.NET 5.0 が発表されて F# 5.0 の機運も高まってきた今日この頃ですが，型クラスの orphan instances が作れるようになるやつとか，applicative functors 用のシンタックスとか，ジェネリック等価判定・比較の高速化とか，どれも便利で面白そうだけど最近あんまり動きが見られないなあ，と思いながら Candidate for F# vNext を眺めていたところ，そんなアンニュ〜イな気分を根底から吹き飛ばすヤバい機能が実装されつつあることが先日判明し，わたしは今，冷静さを欠いています． その機能とは，これです． [WIP, RFC FS-1072] task and state machine support by dsyme This inserts a heavily modified (but semantically almost complet

[ryskosn]

おお、ちょうど昨日「Async と Task は何が違うんだろ」と思っていたところでした。解説ありがとうございます。| 後半も読んでいくと色々とすごそうだった。全ては理解できていないけれど F# の進化が楽しみ。

[kakkun61]

夢がある

[uehaj]

F# はすべてになる

[ruicc]

まあモナドは便利だからな

[theatrical]

新しいcommon lispだ

[hitotakuchan]

“株式会社ぺあのしすてむ”

[igrep]

“F# vNext はそれを変える．モナドは実行に最適化された言語機能として実装できるようになり，そこでは computation expressions は単なる DSL ではなく言語拡張になる”