F#学习之路(2) 深刻理解函数(上)

     函数在函数式编程语言中是一等公民,是函数式语言中最重要的基本组成元素,也是其名称的由来。

     F# 中的函数之如C#中的类,是组织程序结构的最基本单元。是命令式编程语言中函数或OO编程语言中方法的超集。超集,有多强大?我将在下面几个方面细细道来。

     F#是一种多范式的编程语言。支持命令式、函数式、面向对象的编程范式,还有目前火热的面向语言编程(DSL)。本文不会介绍其他的编程范式,只介绍函数式编程范式。

     在面向对象编程的世界里,视命令式或过程式是一种丑陋的编程方式,至少被大多数程序员视为不能有效发挥OO语言强大功效的编程方法。在函数式编程世界里,同样会认为命令式、OO的编程范式只是辅助的编程方法。过程式的流程控制语句被认为是不适宜的,if else 的条件判断被替代为模范匹配,while,for的循环语句也替代为使用尾递归的递归函数。尽管F#支持其他两种编程范式,但还是应限定在特定的场景下,应主要以函数式编程范式为主,我将在以后专门写一篇blog来探讨F#中各种编程范式相应的适用场合。

     本文假设已经使用了#light指令,下面的代码风格都是轻量的。注意#light指令要求你严格的缩进,空格被视为语法的一部分,同一层级的语句之间必须严格的对齐。为了方便的缩进,请设置tab为插入空格代替,我在前文 《F#学习之路 (1)什么是函数式编程》已有介绍设置的方法。

     1、如何定义一个普通函数

     F#中函数分为递归函数和非递归函数,我把非递归函数称为普通函数。F#中函数默认是不能递归的。

     代码一:

     

ContractedBlock.gifExpandedBlockStart.gifCode
 1     let f0 () =25 
 2
 3     let f1 x =x+1 
 4
 5     let f11 _ =1/0 
 6
 7     let f2 x y=x+
 8
 9     let f3 (x:float) (y:float) (z:float):string =sprintf "%f" ( x*y*z) 
10
11     let isEven =fun x -> x %2=0 
12
13     let fn f x= 
14
15          match isEven x with 
16
17          | true -> f(x) 
18
19          | false ->() 
20
21     let print_even x= fn ( fun x -> printfn "%d is even" x) x 
22
23     print_even 20 
24
25

   

     上面的代码,你能够全部读懂吗?。

     在F#中一切皆是表达式,记得这一点非常重要。这不同于命令式编程范式有语句概念。

     什么是表达式,从学习c语言开始,给我灌输的概念是,表达式由运算符、常量、变量组成,表达运算产生结果值。我仍沿用这个概念,不过这个运算符、常量、变量有了新变化 。运算符是函数,大多数运算符允许你重新定义。默认定义的标识符是常量,不可变,变量使用mutable关键字指定。函数是表达式,lambda(可理解为匿名函数)是表达式,就连过程式的if else也是表达式,有运算结果值。需要指出的是在F#中,函数的返回值是由最后一个表达式计算的结果值,并且不能使用return 关键字指定。在循环结构while,for中也不能使用return。break目前版本用做保留关键字,return只能用做工作流中(一种使用monad算子的语法糖,我将在后面简述),while,for 表达式的结果值为(),()为Unit类型的实例,相当于C系列的void。因为没有了return,break,在F#中过程式的代码控制能力是受限的,要编写break,return的语义,你需要借助闭包和递归函数,所以你还是转变一下思维吧。

          代码二:

          

ContractedBlock.gifExpandedBlockStart.gifCode
1 let unit=print_even 20 
2 
3 printfn "%A" unit 
4 
5 let value=if 3/2=1 then true else false
6 
7 printfn "%A" value 
8 
9 

 

     上面这段代码演示了如何接受unit结果值和if else表达式返回的结果值 

     让我们回到正题。我来解释一下代码一的片段。

    

     let f0 () =25

     f0是函数名称,他带有一个参数,参数类型为Unit类型,返回值为整型25 。函数签名或类型为 val f0:unit->int。

     F#是一种强类型的语言,是严格的函数式语言,而不是惰性函数语言,尽管他提供了一些有效的方法来支持惰性。是强类型的语言,那为什么没有类型声明了。

F#来自于ML家族,其语法规则主要借鉴OCmal,他使用类型推断技术,根据上下文来推断类型信息。

 

     let f1 x =x+1

     函数f1,他带有一个参数x,参数类型为int型,返回值为整型。函数签名为val f1:int->int。F#是如何推断出函数的参数类型和返回值类型的,在F#中 (+)操作符,其操作数1为整数,所以要求x只能是整型,(+)函数的返回值为整数,所以可以推断出f1的类型。

     注意的是f0,f1的参数书写,在c#中方法的参数是需要括号的,而在F#的括号是可以省略的,更需要指出的是f0的()不能看成是括号,而是Unit类型的实例。有意思的是在目前的版本中unit 的值(),左括号与右括号之间可以有任意的空格。这不符合人们的认知。因为实例标识应是固定的,这也是造成人们视()为符号括号的主要原因。上面的f1可以写作 let f1 (x) =x+1 ,因为在F#中括号可以省略,所以官方给出的代码大都省略了。

     let f11 _ =1/0

     这段代码跟f1的定义,有两点需要指出。一个就是参数使用了 下划线 _,这表示参数可以使用任何类型。二是函数体中的1/0,这在c#中无法编译通过的,而在F#中(/)运算符是函数,所以只会在运行时出现除零错。F11的函数签名为val f11:'a->int,'a表示这是一个泛型类型,因为没有约束,所以可以接受任何类型

 

     let f2 x y=x+y

     F#中多个参数之间使用空格分隔,而不是使用逗号。这个函数签名为val f2:int->int->int,表示有两个int型参数,返回值为int型。

     注意这个定义 :let f22 (x,y)=x+y

     f2与f22有很大的区别,f22表示的是一个参数,其类型为元组(tuple)类型,返回值为int型,在F#中元组类型使用(x,y,z)方式定义。元组表示 一组类型值的集合,可为相同的类型也可为不同的类型,元组是F#的原生类型,也意味着函数的返回值可以返回一个元组类型的值,方便我们返回多值。f22的函数签名为val f22:int*int->int。

 

     let f3 (x:float) (y:float) (z:float):string =sprintf "%f" ( x*y*z)

     函数f3有三个参数,都是浮点型,c#的double类型,返回值为string,函数签名为 val:float->float->float->string,f3的函数定义使用显示指定类型,F#的( * )操作符默认同样是操作int型的,所以通过显示指定的方法,强制f#编译器使用float类型参数。函数返回值类型在这个例子中可以不指定,因为sprintf函数返回值是string类型,F#可以推断出f3的返回值是string类型。

 

     let isEven =fun x -> x %2=0

     F#支持lambda表达式,lambda表达式可以视为匿名函数。isEven接受一个lambda表达式,他的签名为val isEven:int->bool,从签名中可以看出他等同于let isEven x=x%2=0。

 

     let fn f x=

     match isEven x with

     | true -> f(x)

     | false ->()

     函数式语言通常都有一种语法叫模式匹配(Pattern Match),他比c#中swith语句强大的多,不仅可以匹配基本原生类型,还支持通过自定义活动模式(Active Pattern,据我所知,这种语法只有F#提供了),来扩展。你可以理解为模式匹配为高级多态。

     上句表示,如果某个整型数是偶数,那么叫执行一个函数f,否则返回()。函数式的模式匹配可以让我们消除编写if else,swith之类的条件判断语句的需要。

函数fn的签名为val fn:(int->unit)->int->unit

 

     let print_even x= fn ( fun x -> printfn "%d is even" x) x

     print_even 20

     上面的代码演示了如何调用函数print_even,如何把lambda表达式作为参数传递

 

     2.如何定义递归函数

     递归函数表示一个函数可以调用自身,一般的递归函数会大量的使用堆栈。但尾递归则不会,尾递归会使用迭代来代替递归。

 

ContractedBlock.gifExpandedBlockStart.gifCode
 1let breakn n (l:'a[]) = 
 2
 3    let i =ref 0 
 4
 5    let rec iter () = 
 6
 7        if !i>n then () 
 8
 9        else 
10
11            printf "%A" l.[!i] 
12
13            i :=!i+1 
14
15            iter () 
16
17    iter () 
18
19 
20
21breakn 8 [|0..10|
22
23

 

上面的代码演示了有break语义函数。breakn是一个普通函数,它有两个参数,一个是整型n,另一个是l,泛型数组。返回值是unit

let i =ref 0

i是一个int ref型的值,它引用了整数0,实际上ref是泛型函数,它返回一个Ref记录类型,它的定义类似下面:

 

ContractedBlock.gifExpandedBlockStart.gifCode
1 type Ref<'a>={mutable contents:'a} 
2 
3 let ref a={contents=a} 
4 
5 

 

breakn函数体内又定义了一个函数,而且这个函数使用了rec关键字,这说明两点,在F#中函数可以内嵌,第二,递归函数要使用rec关键字来说明

ref类型的操作有一些不同,反引用ref类型值使用感叹符!,而赋值使用:=。

上面的代码编译后,通过Reflector反编译为c#代码,可以看到变成了while循环。

 

下一篇:F# 学习之路(2) 深刻理解函数(下)

转载于:https://www.cnblogs.com/lvxuwen/archive/2008/08/03/1256684.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/463797.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

TaskTResult 多线程 多参数 返回值

最近项目需求多线程&#xff0c;使用了线程池和Thread开启新线程&#xff0c;总不符合我的想要的&#xff0c;于是看了下新特性Task 废话不多说&#xff0c;直接贴代码&#xff0c;实验的demo 只作参考 1 internal class Program2 {3 private static void Main(st…

C++ 线程安全的单例模式

转载&#xff1a;https://www.cnblogs.com/ccdev/archive/2012/12/19/2825355.html 废话不多说&#xff0c;常用的代码积淀下来。 一、懒汉模式&#xff1a;即第一次调用该类实例的时候才产生一个新的该类实例&#xff0c;并在以后仅返回此实例。 需要用锁&#xff0c;来保证其…

写代码多就牛逼?

最近遇到了一些人、一些事&#xff0c;然后就想着拿出来总结总结&#xff0c;并谈谈自己的一些看法&#xff0c;所以就有了这篇文章。首先&#xff0c;我们来看看下面遇到过的两种情景。情景1&#xff1a;在工作中经常会遇到这样一些人&#xff1a;要他们实现一些功能&#xff…

Ubuntu16.04彻底删除MySQL5.7

彻底删除mysql5.7 删除mysql前 先删除一下 /var/lib/mysql 还有 /etc/mysql 下面命令依次执行 sudo rm /var/lib/mysql/ -R # 删除数据库目录 sudo rm /etc/mysql/ -R #删除启动脚本、配置文件等 sudo apt-get autoremove mysql* --purge # 卸载mysql所有文件 sudo apt-get rem…

推荐12款非常有用的流行 jQuery 插件

jQuery 是一个非常优秀的 JavaScript 框架&#xff0c;在现在的 Web 开发项目中扮演着重要角色。jQuery 使用简单灵活&#xff0c;同时还有许多成熟的插件可供选择&#xff0c;它可以帮助你在项目中加入一些非常好的效果&#xff0c;让网站有更好的可用性和用户体验。今天这篇文…

Linux以及各大发行版介绍

什么是Linux&#xff1f; 也许很多人会不屑的说&#xff0c;Linux不就是个操作系统么。错&#xff01;Linux不是一个操作系统&#xff0c;严格来讲&#xff0c;Linux只是一个操作系统中的内核。内核是什么&#xff1f;内核建立了计算机软件与硬件之间通讯的平台&#xff0c;内核…

有人LeetCode第一题都做不出来

有一个这样的江湖传闻时间是8点30&#xff0c;我不信这个邪把力扣的第一题写一次——题目给定一个整数数组 nums 和一个整数目标值 target&#xff0c;请你在该数组中找出 和为目标值 target 的那 两个 整数&#xff0c;并返回它们的数组下标。你可以假设每种输入只会对应一个…

内存池技术介绍

看到一篇关于内存池技术的介绍文章&#xff0c;受益匪浅&#xff0c;转贴至此。 原贴地址&#xff1a;http://www.ibm.com/developerworks/cn/linux/l-cn-ppp/index6.html 6.1 自定义内存池性能优化的原理 如前所述&#xff0c;读者已经了解到"堆"和"栈"的…

面试题25:合并两个排序的链表

NowCoder <?php header("content-type:text/html;charsetutf-8"); /** 输入两个单调递增的链表&#xff0c;输出两个链表合成后的链表&#xff0c;当然我们需要合成后的链表满足单调不减规则。 P145*/ class ListNode{var $val;var $next NULL;function __const…

使用MinGW编译Psycopg2

Building Psycopg on Windows using MinGW Posted by Daniele Varrazzo on June 5, 2011 使用MinGW编译Psycopg2 佣工7001 2012.2 我的目的是在windows系统下使用MinGW和PostgreSQL客户端编译安装Psycopg。 我使用了Giovanni Bajo封装的MinGW GCC binaries 分发版本。这个分发…

Linux 应用开发——完整版思维导图

转自我朋友的公众号「嵌入式Linux系统开发」&#xff0c;总结的内容对大家学习是非常有帮助的。目录

DELPHI之常用函数

string :hh:FormatDateTime(h:m:s,now); 格式化时间 StrToIntDef(123,12) ; 字符串转整型带默认 转载于:https://www.cnblogs.com/qcl_008/archive/2008/08/05/1260926.html

Qt中的Q_OBJECT

在Qt中&#xff0c;如果一个类要使用信号/槽功能&#xff0c;就必须在其中声明Q_OBJECT&#xff0c;例如Qt5.6.1中: class MainWindow : public QMainWindow { Q_OBJECT public: explicit MainWindow(QWidget *parent 0); ~MainWindow(); private: Ui::MainWindow *ui; };

单根继承

Java中&#xff0c;一个类只能extends一个父类 Object类是所有类的父类&#xff0c;如果没有指定一个类的父类&#xff0c;该类的父类就是Object 查看类继承关系&#xff1a; 右键-->Quick Type Hierarchy 重写toString()方法&#xff0c;toString()是Object的一个方法 作用…

张左峰的歪理邪说 之 大话Redmine插件

Redmine是一个比较轻量级的综合项目管理工具&#xff0c;包括了很多项目管理中需要的工具&#xff0c;并且有效的把他们做了一个集合的工作平台&#xff0c;并且支持插件扩展模式&#xff0c;其中官网上提供的插件极为丰富&#xff0c;而且有些对工作帮助挺大&#xff0c;介绍并…

微波炉菜谱

一。阳光三明治 工具&#xff1a;吃不胖0.8升盒一个、欢宴0.6升一个 材料&#xff1a;全麦方包适量、番茄、小黄瓜、鸡蛋 调料&#xff1a;食用油、盐 做法&#xff1a; 1、将番茄、小黄瓜、洗净切成片状。 2、将适量油倒入欢宴盒中置入微波炉中加热至油爆&#xff0c;取…

你觉得好的代码可能并不是最优的解决方案

晚上我看到了JeffXie 写了一篇关于内存屏障的文章&#xff0c;后面又看到Linus对一次内存屏障修改的建议&#xff0c;所以就有了这篇文章。https://mp.weixin.qq.com/s/H7Pw8xCKcNu41UGaYB648w在我看来&#xff0c;内存屏障谁为了让计算机做更加正确的事情&#xff0c;不希望计…

MinGW与MSVC编译的区别

本人使用的是QT5.6&#xff0c;当时我们选择下载的是第一个VS2015版本&#xff0c;也就是通过MSVC方式编译。 我们来对比一下这两个编译器的区别&#xff1a; MSVC是指微软的VC编译器MinGW是指是Minimalist GNU on Windows的缩写。它是一个可自由使用和自由发布的Windows特定头…

dos2unix整个目录

因为经常在windos平台和linux平台之间协同开发&#xff0c;所以不可避免的就碰到了CRLF的问题&#xff0c;dos2unix 和 unix2dos可以说是最常用的解决CRLF问题的工具了。下面列出怎么对整个目录中的问题做dos2unix操作$ find . -type f -exec dos2unix {} \; 其中具体命令的解释…

使用DNS 轻松获取主机信息

利用dns类和WMI规范获取IP及MAC地址 在C#编程中,要获取主机名和主机IP地址,是比较容易的.它提供的Dns类,可以轻松的取得主机名和IP地址. 示例: string strHostName Dns.GetHostName(); //得到本机的主机名 IPHostEntry ipEntry Dns.GetHostByName(strHostName); //取得…