F#

类型驱动的领域建模

F#受ML/OCaml影响深厚，判别联合（Discriminated Union）是其最有力的建模工具。定义一个支付方式：每个case可以携带不同类型的数据，模式匹配时编译器强制处理所有case，漏掉任何一个都是编译错误。这种技术叫「让非法状态不可表示」，把业务规则编码进类型系统，运行时出错的概率大幅降低。

F#的类型推断几乎不需要手动写类型标注，代码简洁度接近动态语言，但享有完整的静态类型检查。管道操作符（|>）——Elixir等语言都从F#这里借鉴了这个概念——让数据变换流程自然阅读。[1]

金融领域实践与跨平台

F#在金融行业有相对集中的用户群：Jet.com（后被沃尔玛收购）的整个电商后端是F#，部分对冲基金和投行的量化平台选用F#——原因是不可变性和强类型能减少金融计算中难以察觉的错误，同时性能（.NET JIT）优于Python。

.NET统一之后（.NET 5/6/7），F#可以和C#代码在同一个项目里共存，互调对方的库几乎无摩擦。Fable编译器可以把F#编译成JavaScript，配合Elmish架构开发前端。2023年F# 8带来了多项表达式改进，语言持续演进。