Scala学习笔记(3):纯函数式编程的一些思想和技巧

Stella981
• 阅读 612

Everything is a function

最近刚刚学完Coursera上Functional programming in Scala的课程,通过看教学视频还有做assignments,对于functional programming(函数式编程)有一点点心得体会,在这里总结下。

Everything is a function,不是一种论断,而是函数式编程的思考方式。就像用汇编语言编程时候需要用寄存器和指令的角度来思考,C编程用变量和控制结构来组织程序,C++/Java中我们把任何东西都抽象成类和对象。

在Scala中我们用函数的眼光思考,例如:任何常量(immutable),都可以看成是一个不需要输入但返回确定值的函数,反之亦然。所有可以用val定义一个Int常量a,也可以用def定义一个函数b返回Int常量,两者可以任意互换使用。

val a:Int = 1
def b:Int = 1

两者的不同在于:常量是传值(reference by value),函数是传名(reference by name);常量的值立即计算,函数的值只在被调用时计算;常量只计算一次,但函数每次调用都要重新计算。例如下面的例子中,s1初始求和计算后赋值为5050;s2每次调用时 (理论上 )都要重新计算求和。

val s1 = (1 to 100).sum
def s2 = (1 to 100).sum

有没有一种折中的方案,只在被调用时计算,又可以只计算一次?有的,就是使用关键词lazy

lazy val s3 =  (1 to 100).sum

上面的s3初始化后,不会立即计算值,只在被调用时求值并且只计算一次值。

纯用函数式编程实现Set

集合Set是最基本的一种数据结构,常用的操作是判断一个值是否在某个Set里。Set的实现方式有很多,想TreeSet,HashSet,BitSet等。可以用纯函数来实现Set吗?答案是可以!下面以IntSet为例展示下。

1. 定义Set类型为一个函数——输入Int值,返回值是否存在。

/**
   * 使用Set最显著的特点来定义类型
   */
  type Set = Int => Boolean

2. 定义contains函数,输入一个集合和一个值,判断值是否在集合内。

def contains(s: Set, elem: Int): Boolean = s(elem)

3. 定义一个单例集合函数,就是只包含一个值的集合。

def singletonSet(elem: Int): Set = (x: Int) => (x == elem)

4. 定义集合的其他操作:

def union(s: Set, t: Set): Set = (x: Int) => (s(x) || t(x))

def intersect(s: Set, t: Set): Set = (x: Int) => (s(x) && t(x))

def diff(s: Set, t: Set): Set = (x: Int) => (s(x) && !t(x))

def filter(s: Set, p: Int => Boolean): Set = (x: Int) => (s(x) && p(x))

5 测试上面的集合实现

val s1 = singletonSet(1)
val s2 = singletonSet(2)
val s3 = singletonSet(3)

val s4 = union(s1, s2)
val s5 = union(s2, s3)

val s6 = intersect(s4, s5)

filter(s6, _%2 == 1)
点赞
收藏
评论区
推荐文章
blmius blmius
3年前
MySQL:[Err] 1292 - Incorrect datetime value: ‘0000-00-00 00:00:00‘ for column ‘CREATE_TIME‘ at row 1
文章目录问题用navicat导入数据时,报错:原因这是因为当前的MySQL不支持datetime为0的情况。解决修改sql\mode:sql\mode:SQLMode定义了MySQL应支持的SQL语法、数据校验等,这样可以更容易地在不同的环境中使用MySQL。全局s
皕杰报表之UUID
​在我们用皕杰报表工具设计填报报表时,如何在新增行里自动增加id呢?能新增整数排序id吗?目前可以在新增行里自动增加id,但只能用uuid函数增加UUID编码,不能新增整数排序id。uuid函数说明:获取一个UUID,可以在填报表中用来创建数据ID语法:uuid()或uuid(sep)参数说明:sep布尔值,生成的uuid中是否包含分隔符'',缺省为
待兔 待兔
4个月前
手写Java HashMap源码
HashMap的使用教程HashMap的使用教程HashMap的使用教程HashMap的使用教程HashMap的使用教程22
Jacquelyn38 Jacquelyn38
3年前
2020年前端实用代码段,为你的工作保驾护航
有空的时候,自己总结了几个代码段,在开发中也经常使用,谢谢。1、使用解构获取json数据let jsonData  id: 1,status: "OK",data: 'a', 'b';let  id, status, data: number   jsonData;console.log(id, status, number )
Java修道之路,问鼎巅峰,我辈代码修仙法力齐天
<center<fontcolor00FF7Fsize5face"黑体"代码尽头谁为峰,一见秃头道成空。</font<center<fontcolor00FF00size5face"黑体"编程修真路破折,一步一劫渡飞升。</font众所周知,编程修真有八大境界:1.Javase练气筑基2.数据库结丹3.web前端元婴4.Jav
Easter79 Easter79
3年前
Twitter的分布式自增ID算法snowflake (Java版)
概述分布式系统中,有一些需要使用全局唯一ID的场景,这种时候为了防止ID冲突可以使用36位的UUID,但是UUID有一些缺点,首先他相对比较长,另外UUID一般是无序的。有些时候我们希望能使用一种简单一些的ID,并且希望ID能够按照时间有序生成。而twitter的snowflake解决了这种需求,最初Twitter把存储系统从MySQL迁移
Stella981 Stella981
3年前
JS 对象数组Array 根据对象object key的值排序sort,很风骚哦
有个js对象数组varary\{id:1,name:"b"},{id:2,name:"b"}\需求是根据name或者id的值来排序,这里有个风骚的函数函数定义:function keysrt(key,desc) {  return function(a,b){    return desc ? ~~(ak
Stella981 Stella981
3年前
HIVE 时间操作函数
日期函数UNIX时间戳转日期函数: from\_unixtime语法:   from\_unixtime(bigint unixtime\, string format\)返回值: string说明: 转化UNIX时间戳(从19700101 00:00:00 UTC到指定时间的秒数)到当前时区的时间格式举例:hive   selec
Wesley13 Wesley13
3年前
MySQL部分从库上面因为大量的临时表tmp_table造成慢查询
背景描述Time:20190124T00:08:14.70572408:00User@Host:@Id:Schema:sentrymetaLast_errno:0Killed:0Query_time:0.315758Lock_
Python进阶者 Python进阶者
10个月前
Excel中这日期老是出来00:00:00,怎么用Pandas把这个去除
大家好,我是皮皮。一、前言前几天在Python白银交流群【上海新年人】问了一个Pandas数据筛选的问题。问题如下:这日期老是出来00:00:00,怎么把这个去除。二、实现过程后来【论草莓如何成为冻干莓】给了一个思路和代码如下:pd.toexcel之前把这