F# 4.5提供Spans、Match!等特性
F# 4.5预览版现已发布,其中提供了一系列新特性,包括对.NET Core 2.1的新原生类型Span\u0026lt;T\u0026gt;
的支持、新关键字Match!
等。
\\
类型Span
意在实现底层代码指针操作的安全性和可预测性,这可使得很多情况下不必再分配内存,进而改进了内存使用的效率和性能。为实现此,Span
会为已在内存某处存储的数据提供一种虚拟视图。例如,对于一个具有10000个元素的数组,我们完全可以创建一个包括其前1000个元素的切片,并将该切片传递给函数,不需要对这些元素做拷贝。代码如下:
\\
\ let nativeMemory = Marshal.AllocHGlobal(100);\ let nativeSpan = new Span\u0026lt;byte\u0026gt;(nativeMemory.ToPointer(), 100)\ let nativeSpanSlice = new Span\u0026lt;byte\u0026gt;(nativeMemory.ToPointer(), 10)\ let mem = NativePtr.stackalloc\u0026lt;byte\u0026gt;(100)\ let mem2 = mem |\u0026gt; NativePtr.toVoidPtr\ let stackSpan = Span\u0026lt;byte\u0026gt;(mem2, 100)\
\\
类型Span
实际上包括了一系列的子特性,例如voidptr
类型、NativePtr.ofVoidPtr
和NativePtr.toVoidPtr
函数,以及其它一些支持F# 4.5的Span
与C# 7.3对等的特性。特性对应表如下所示:
\\
\C# F#\out int arg arg: byref\u0026lt;int\u0026gt;\out int arg arg: outref\u0026lt;int\u0026gt;\in int arg arg: inref\u0026lt;int\u0026gt;\ref readonly int Inferred or arg: inref\u0026lt;int\u0026gt;\ref expr \u0026amp;expr\
\\
为确保代码的公平性,F#对使用Span
强加了一系列应用于所有类byref
结构的限制:
\\
- 受
let
限定的值,其引用不能超出其定义范围;\\t - 类
byref
结构体不能作为类或正常结构体的实例或静态成员;\\t - 类
byref
结构体不能作为通用类型参数使用;\\t - 类
byref
结构体不能被任何闭包结构体捕获。\
关键字Match!
是开发人员期待已久的一个特性,它用于在计算表达式中简化匹配语法。F# 4.1中,在做匹配前,需要使用let!
作为一个中间步骤:
\\
\let funcWithString (s: string) =\ async {\ let! r = asyncFunction s\ match r with\ | Some bananaString -\u0026gt; printfn \"It's banana!\"\ | None -\u0026gt; printfn \"%s\" s\ }\
\\
而在F# 4.5中,只需如下编写:
\\
\let funcWithString (s: string) =\ async { \ match! asyncFunction s with\ | Some bananaString -\u0026gt; printfn \"It's banana!\"\ | None -\u0026gt; printfn \"%s\" s\}\
\\
F# 4.5还提供了下列特性:
\\
- 在序列、列表和数组中使用
yield
时,不再需要做向上造型(upcast)。例如:\
\let x2 : obj list = [ yield \"a\" :\u0026gt; obj ] // F# 4.5版本之前。\let x3 : obj list = [ yield \"a\" ] // F# 4.5版本。\
\\
- 为便于使用剖析(Profiling)工具,枚举类型默认作
public
使用。\\t - 改进了异步栈追踪,以提供更有意义的信息。\
据Carter介绍,目前发布的F# 4.5非常稳定,它将会加入到即将发布的Visual Studio 2017 update 15.8中。此外,该预览版可以从.NET Core平台和Windows处手工获取。
\\
查看英文原文: F# 4.5 Brings Spans, Match!, and More
F# 4.5提供Spans、Match!等特性相关推荐
- Windows 2000系统编程 (1)
第1章纵览Windows 2000 毫不隐瞒地说,我是一个科幻迷.但是,我认为现实中的科幻描述很荒谬可笑.虽然我能 接受存在生物圈和星系帝国的事实,甚至可以接受超光速的星际飞行器,但是我不能接受的是 ...
- python3.8.5 run-Python 3.8.0 正式版发布,新特性初体验
北京时间 10 月 15 日,Python 官方发布了 3.8.0 正式版,该版本较 3.7 版本再次带来了多个非常实用的新特性. 赋值表达式 PEP 572: Assignment Expressi ...
- python 3.8.0安卓_Python 3.8.0 正式版发布,新特性初体验
北京时间 10 月 15 日,Python 官方发布了 3.8.0 正式版,该版本较 3.7 版本再次带来了多个非常实用的新特性. 赋值表达式 PEP 572: Assignment Expressi ...
- Python match case结构化模式匹配
Python 在 3.10 之前没有提供类似 switch case 一样的分支语句,虽然也能用 if elif else 或者字典来实现同样的逻辑.到 3.10 版本终于提供了 match case ...
- INTRODUCING F#
第一篇,从零开始编写我们的第一个F#程序. 什么是F#,我为何要学它? F#是一种.NET平台上的函数式编程语言.就像C#和VB.NET,F#可以利用.NET的核心类库,如WPF,WCF,VSTO等等 ...
- C++11新特性(原封不动转载待查)
C++11标准发布已有一段时间了, 维基百科上有对C++11新标准的变化和C++11新特性介绍的文章. 我是一名C++程序员,非常想了解一下C++11. 英文版的维基百科看起来非常费劲,而中文版维基百 ...
- command对象提供的3个execute方法是_21个极大提高开发效率的VS Code快捷键
摘要: 高效使用VS Code! 作者:前端小智 原文:21 个VSCode 快捷键,让代码更快,更有趣 Fundebug经授权转载,版权归原作者所有. 注意:自己尝试的时候,Mac(17, pro) ...
- 《F# Deep Dives》书评与作者问答
由Tomas Petricek与Phillip Trelford所共同编写的<F# Deep Dives>(F#深度钻研),是一本展示F#在实践中能够带来怎样的商业价值的新书.本书描述了1 ...
- OSPF路由协议解释及特性介绍
本篇文档针对一些对OSPF路由协议有一定的感性认识的技术人员,提供一些基于OSPF报文格式的介绍,来达到了解路由协议的特性和特有的一些概念的了解. 一.OSPF的特性: 快速收敛: 能够适应大型网络 ...
最新文章
- 安装php出现php-cgi error 1
- 怎么高效的运用金蝶软件
- 在Visual Studio 2008中编译snort-2.8.6.1.tar.gz
- How Vmware snapshots works
- 可能是最强大的【CSS】动画库
- Android开发四大组件
- mysql开发是做什么_数据库开发是做什么东西的
- string.Format字符串格式化说明
- 【转】 sqlserver 异地备份
- DES加密解密-java
- 4133:垃圾炸弹 百练noi Java枚举
- oracle sysdate 月份,如何将oracle中的sysdate月份值转换为数字?
- matlab中绘制一个sin函数曲线
- 你认为什么是LoVE?
- 机器学习算法之集成方法
- Windows XP系统优化超简单实用版
- LibLinear使用及与Lib的区别
- H2数据库安装部署及简单使用
- angular+ionic学习之项目构建
- Python小练习 - 判断是否为“回联文”
热门文章
- Ios生产证书申请(含推送证书)
- jQuery中的.height()、.innerHeight()和.outerHeight()
- 奇怪吸引子---QiChen
- Prolog学习:数独和八皇后问题
- Spring源代码解析(十):Spring Acegi框架授权的实现
- ​2018你不得不看的国内CRM软件排行榜
- java程序通过命令行运行之Path和ClassPath的注意点
- WPF框架的内存泄漏BUG
- js 闭包 实战1
- 连载《一个程序猿的生命周期》-《发展篇》 - 5.奶奶终于“自杀”了