QCon 全球软件开发大会(北京站)门票 9 折倒计时 4 天,点击立减 ¥880 了解详情
写点什么

F# 4.5 提供 Spans、Match! 等特性

2018 年 8 月 07 日

F# 4.5 预览版现已发布,其中提供了一系列新特性,包括对.NET Core 2.1 的新原生类型Span<T>的支持、新关键字Match!等。

类型Span意在实现底层代码指针操作的安全性和可预测性,这可使得很多情况下不必再分配内存,进而改进了内存使用的效率和性能。为实现此,Span会为已在内存某处存储的数据提供一种虚拟视图。例如,对于一个具有 10000 个元素的数组,我们完全可以创建一个包括其前 1000 个元素的切片,并将该切片传递给函数,不需要对这些元素做拷贝。代码如下:

复制代码
let nativeMemory = Marshal.AllocHGlobal(100);
let nativeSpan = new Span<byte>(nativeMemory.ToPointer(), 100)
let nativeSpanSlice = new Span<byte>(nativeMemory.ToPointer(), 10)
let mem = NativePtr.stackalloc<byte>(100)
let mem2 = mem |> NativePtr.toVoidPtr
let stackSpan = Span<byte>(mem2, 100)

类型Span实际上包括了一系列的子特性,例如voidptr类型、NativePtr.ofVoidPtrNativePtr.toVoidPtr函数,以及其它一些支持 F# 4.5 的Span与 C# 7.3 对等的特性。特性对应表如下所示:

复制代码
C# F#
out int arg arg: byref<int>
out int arg arg: outref<int>
in int arg arg: inref<int>
ref readonly int Inferred or arg: inref<int>
ref expr &expr

为确保代码的公平性,F#对使用Span强加了一系列应用于所有类byref结构的限制:

  • let限定的值,其引用不能超出其定义范围;
  • byref结构体不能作为类或正常结构体的实例或静态成员;
  • byref结构体不能作为通用类型参数使用;
  • byref结构体不能被任何闭包结构体捕获。

关键字Match!是开发人员期待已久的一个特性,它用于在计算表达式中简化匹配语法。F# 4.1 中,在做匹配前,需要使用 let!作为一个中间步骤:

复制代码
let funcWithString (s: string) =
async {
let! r = asyncFunction s
match r with
| Some bananaString -> printfn "It's banana!"
| None -> printfn "%s" s
}

而在 F# 4.5 中,只需如下编写:

复制代码
let funcWithString (s: string) =
async {
match! asyncFunction s with
| Some bananaString -> printfn "It's banana!"
| None -> printfn "%s" s
}

F# 4.5 还提供了下列特性:

  • 在序列、列表和数组中使用yield时,不再需要做向上造型(upcast)。例如:
复制代码
let x2 : obj list = [ yield "a" :> obj ] // F# 4.5 版本之前。
let x3 : obj list = [ yield "a" ] // F# 4.5 版本。
  • 为便于使用剖析(Profiling)工具,枚举类型默认作public使用。
  • 改进了异步栈追踪,以提供更有意义的信息。

据 Carter 介绍,目前发布的 F# 4.5 非常稳定,它将会加入到即将发布的 Visual Studio 2017 update 15.8 中。此外,该预览版可以从.NET Core 平台 Windows 处手工获取。

查看英文原文: F# 4.5 Brings Spans, Match!, and More

2018 年 8 月 07 日 04:55473
用户头像

发布了 376 篇内容, 共 94.5 次阅读, 收获喜欢 216 次。

关注

评论

发布
暂无评论
发现更多内容

架构师训练营第0期-第一周-命题作业1

sljoai

作业

为啥成为架构师总是少数人?

朱月俊

架构师训练营 Week01 学习心得

极客大学架构师训练营

第一周作业 食堂就餐卡系统uml图

战峰

架构师如何做架构(第一周总结)

mh

架构

第一周学习总结

胡江涛

极客大学架构师训练营 第一周总结

在IBM Cloud中运行Fabric

程序那些事

vscode blockchain hyperledger fabric ibm

第一周学习总结

战峰

架构师训练营学习总结(week-01)

Justin

架构师训练营 第一周 作业

CR

极客大学架构师训练营

Week 01-作业一:食堂就餐卡系统设计

dean

极客大学架构师训练营--食堂就餐系统架构设计⽂档 -- 第一次作业

John(易筋)

极客时间 极客大学 极客大学架构师训练营

食堂就餐卡系统架构设计⽂档

Geek_2dfa9a

命题作业—第一周

于江水

极客大学架构师训练营

使用IBM Blockchain Platform extension开发你的第一个fabric智能合约

程序那些事

区块链 blockchain hyperledger fabric ibm

Week 01-作业二:学习总结

dean

架构师训练营 Week 01

Wancho

架构师训练营第一周

Melo

食堂就餐卡系统设计

mh

系统设计

架构师训练营第一周总结

小树林

第1周 - 食堂就餐卡系统

大海

极客大学架构师训练营

架构师训练营第一周总结

Geek_2dfa9a

食堂就餐卡系统设计

_MISSYOURLOVE

极客大学架构师训练营 第一周命题作业

食堂就餐卡系统架构设计文档

朱月俊

学习总结—第一周

于江水

极客大学架构师训练营

食堂就餐卡系统设计

陌生人

第1周小结

龙7

极客大学架构师训练营

架构师训练营第0期-第一周学习总结

sljoai

作业

食堂就餐卡系统设计

dapaul

架构设计 极客大学架构师训练营

小师妹学JavaIO之:Buffer和Buff

程序那些事

io nio 小师妹 buffer buff

Week1-架构是什么&如何做架构

wyzwlj

极客大学架构师训练营

边缘计算隔离技术的挑战与实践

边缘计算隔离技术的挑战与实践

F# 4.5提供Spans、Match!等特性-InfoQ