三月初发布的 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 )关注我们。
评论