Visual Studio 2017迎来F# 4.1

三月初发布的Visual Studio 2017， 包含了F# 4.1和Visual F#工具的更新 。F# 4.1带来了语言层面提升以及与C# 7的互操作能力，而那些Visual F#工具是支持Roslyn workspaces的首个版本。

正如上文提到的， F# 4.1带来了语言层面提升以及与C# 7的互操作能力 ：

• 对Struct tupple和C# value tuples的支持
• 对结果集和差别联合（discriminated unions）的Struct注解
• 支持fixed关键字
• 支持数值字面量中使用下划线
• Caller信息包含argument属性
• 支持Result类型
• 支持同一文件内的类型和模块相互引用
• 支持Byref返回类型以及C# 7 ref返回的方法
• 异常信息改进
• list<'T>实现IReadonlyCollection<'T>
• 附加可选模块功能
• 对静态解析类型参数的改进
• 编译器性能提升

Visual Sutdio 2017同时也带来了Visual F#工具的一个更新版本。其中值得一提的新增功能是对 Roslyn Workspace APIs 的支持：

工作区间就是你的解决方案的动态呈现。它是许多项目的集合。每个项目又是许多文档的集合。工作区间通常与宿主环境参数紧密相关。环境参数是经常改变的与用户输入或操作有关的特性。

像Visual Studio这样的集成开发环境使用Roslyn workspace APIs来提供多样化的功能。尽管Roslyn的编译器部分具体实现为C#/VB，但许多像workspaces这样的APIs有更高层次的抽象并且没有与某一种特定的语言绑定。因此，实现这些API就意味着一个IDE功能可以直接支持F#而不需要单独做F#实现。 用Roslyn workspaces APIs重构的功能包括 ：

• 查找所有引用
• 支持导航条
• 语法和类型在悬停和字符提示时彩色化
• 智能筛选和字形改进
• 智能查找支持名字的模糊匹配
• 编辑器内更好的彩色支持
• 改善代码缩进
• 改善断点分辨率
• 改善定义跳转
• 支持各种代码修改触发Lightbulbs
• 语法高亮
• 支持Go to All功能（ctrl+T）
• Roslyn-style行内重命名

来自微软的官方声明列举了许多F#社区的贡献者，也致谢了一些在F#编译器、Visual F#工具和语言设计方面作出贡献的社区成员。

查看英文原文： Visual Studio 2017 Brings F# 4.1

感谢张卫滨对本文的审校。

给InfoQ中文站投稿或者参与内容翻译工作，请邮件至editors@cn.infoq.com。也欢迎大家通过新浪微博（@InfoQ，@丁晓昀），微信（微信号： InfoQChina ）关注我们。