《javascript函数式编程思想》——函数是一等值

starrow      2022-06-09     592

关键词:

第4章  函数是一等值

在函数式编程的标准或特点中,“函数是一等值”是最基本和重要的,也是最为人所知的,所有介绍函数式编程的书籍和文章都会优先介绍这一点,以至于“一等值”几乎成为函数的专属头衔,听上去就像“王牌”一类的文学修辞,而实际上却两者皆不是。一等(First-class)是编程语言中值的通用修饰词,只要某个值满足以下三个条件,就能被称为一等值。

  1. 可以作为参数传递给函数
  2. 可以作为函数返回值
  3. 可以被赋值给变量

所以数字、字符串等常用的值都是一等的。如果仅满足第一条,而不能作为函数返回值或被赋值给变量,就称为二等的(Second-class)。假如三条都不满足,则称为三等的(Third-class)。例如,标签(Label)在支持它的语言中基本上都是三等的(只能用于goto等语句,不能作为参数传递给函数等等)。函数值的情况最多样,在Basic语言中是三等值,在Pascal中是二等值,在C、Fortran、C#等语言中是一等值,当然在所有函数式编程语言如Scheme、Haskell、Clojure中都是一等值。

此外,依赖变量和赋值是命令式编程的特点,函数式编程因为从原则上排斥状态,不鼓励使用变量,纯粹的函数式编程语言甚至没有变量,因而在这些语言中,函数是一等值的第三个条件就变为可以被赋值给常量。

4.1  函数参数    
4.1.1  数组的迭代方法    
4.1.2  设计函数参数    
4.2  函数返回值    
4.2.1  判断数据类型    
4.2.2  日志    
4.2.3  读取对象属性    
4.3  高阶函数    
4.3.1  组合谓词函数    
4.3.2  改变函数参数数目    
4.3.3  检查参数类型

4.3.4  记忆化

缓存是提高程序性能的重要技术,对于输入输出、高耗资源的计算等需要花费较长时间的功能,将结果保存在能快速访问的载体里,以后遇上同样的调用,就直接读取上次保存的结果,从而大大节省时间,简言之,就是“以空间换时间”。在函数式编程中,对单个函数使用缓存的技术,称为记忆化(Memoization)。

我们选取用作缓存载体的数据类型是映射,这在JavaScript中有两种选择:通用的对象和专用的映射。根据2.7节中介绍的优点,映射更适合充当缓存。我们用一组函数来包装映射类型的方法。

// Map methods
export const has = f.invoker('has');
export const get=f.invoker('get');
export const set = f.invoker('set');
export const mapKeys = f.invoker('keys');

/*
读取嵌套的映射中对应于一组键的值。参数keys可能为单个键或多个键组成的数组。
 */
export function mapGet(keys, map) 
    if (!Array.isArray(keys)) 
        return mapGet([keys], map);
    

    // 循环算法
    for (let key of keys) 
        map = get(key, map);
    
    // 若调用函数时没有提供keys,会返回map。
    return map;

    // 递归算法
    
        if (f.isZeroLength(keys)) 
            return map;
        
        const key = f.first(keys);
        map = get(key, map);
        return mapGet(f.rest(keys), map);
    


/*
检查嵌套的映射中是否有对应于一组键的值。
 */
export function mapHas(keys, map) 
    if (!Array.isArray(keys)) 
        return mapHas([keys], map);
    

    // 递归算法
    
        if (f.isZeroLength(keys)) 
            return true;
        
        const key = f.first(keys);
        if (has(key, map)) 
            map = get(key, map);
            return mapHas(f.rest(keys), map);
         else 
            return false;
        
    


/*
 设置映射对应于一组键的值。若在该组键的路径上已经有值,且该值不是映射,用一个
 空的映射替换该值。
 keys必须为数组,若只有一个键,也需将其包容在数组中传入。
 */
export function mapSet(keys, value, map) 
    const key = f.first(keys);
    if (keys.length === 1) 
        set(key, value, map);
        return;
    
    if (!has(key, map) || !(get(key, map) instanceof Map)) 
        set(key, new Map(), map);
    
    mapSet(f.rest(keys), value, get(key, map));


//可以用来判断一个数组是否为空。
export function isZeroLength(obj) 
    return obj.length === 0;

代码中用到的invoker函数的功能是将某个对象的方法转换成函数,将在5.4节中介绍。接下来我们可以定义memoize函数,它可以将任何函数变成一个记忆化的版本。奥妙在于,每当调用它返回的函数时,程序会以参数为键,检查位于该函数闭包中的一个作为缓存的映射;假如缓存中找到了对应于参数的值,就说明该函数曾经以同样的参数被调用过,无需重复计算,只要返回该值;假如没有找到,就说明该函数是第一次以这样的参数被调用,运行函数,将结果保存至缓存,再返回。注意函数的参数可能不止一个,我们不能将它们组成的数组用作映射的键,因为比较键值是否相等时,对于属于对象数据类型的数组,判断原则是看两个对象是否是同一个,即使两次调用函数时传递的参数值相同,它们组成的数组也不是同一个。所以这里的缓存是一个嵌套的映射,每个参数对应于嵌套中的一级,读写映射用到的mapHas、mapSet和mapGet函数可以接受多个键组成的数组,在嵌套的映射中逐级查找、写入和读取。

export function memoize(fn) 
    const cache = new Map();
    return function (...args) 
        let val;
        if (!m.mapHas(args, cache)) 
            val = fn(...args);
            m.mapSet(args, val, cache);
        
        val = m.mapGet(args, cache);
        return val;
    

检验成果的时候到了,为了凸显记忆化的函数的效能,我们需要选用一个耗时很长的函数——计算圆周率小数点后的第58320493847362194位数字。

function piDigit()
    //...


f.log(piDigit());
//一年过去了
//=>5

f.log(piDigit());
//又一年过去了
//=>5

const mPiDigit=f.memoize(piDigit);
f.log(mPiDigit());
//再一年过去了
//=> 5

f.log(mPiDigit());
//=> 5

好吧,这次我们用一个真实的函数。

function sum1ToX(x) 
    let ret = 0;
    for (let i = 1; i < x; i++) 
        ret += i;
    
    return ret;


const mem = f.memoize(sum1ToX);

//计量一个函数运行所用的时间。Date.now()只能精确到毫秒,采用
//console.time以获得更高的精度,该方法在Firefox文档里虽然
//只能精确到毫秒,但实际上Firefox和Chrome都可获得更高精度的时间。
export function tookTime(fn, ...args) 
    let fname = fn.name ? fn.name : 'anonymous';
    let label = format('0(1)', fname, joinClose(args));
    console.time(label);
    log(fn(...args));
    console.timeEnd(label);


f.tookTime(sum1ToX, 1000001);
//=> 500000500000
//=>  sum1ToX(1000001): 3.10400390625ms

f.tookTime(mem, 1000001);
//=> 500000500000
//=> anonymous(1000001): 1.80517578125ms

f.tookTime(mem, 1000001);
//=> 500000500000
//=> anonymous(1000001): 0.1298828125ms

一般来说,与原函数相比,记忆化的函数首次运行时性能差不多,因为要读写缓存,用时可能会稍长,但之后以同样参数运行时,耗时都会稳定于一个很小的数字。上面的代码在不同的浏览器中运行结果略有差别,有些版本的浏览器首次运行记忆化的函数所费时间确实稍长于原函数,而以上的结果是在Chrome 65浏览器中测试所得,首次运行记忆化的函数所费时间比原函数还短,是得益于其JavaScript引擎再次运行某一函数时所作的性能优化。

4.4  小结    

更多内容,请参看拙著:

《JavaScript函数式编程思想》(京东)

《JavaScript函数式编程思想》(当当)

《JavaScript函数式编程思想》(亚马逊)

《JavaScript函数式编程思想》(天猫)

《javascript函数式编程思想》——从面向对象到函数式编程

...假如本书的写作时间倒退回十年前,书名可能会变成JavaScript面向对象编程思想。自上世纪90年代兴起的面向对象编程思想随Java的繁荣达于顶点,在JavaScript从一门只被用来编写零星的简单的表单验证代码的玩具语言变成日... 查看详情

《javascript函数式编程思想》——列表

第8章 列表函数式编程与列表处理有很深的渊源。列表是最基础,也是使用最普遍的复合数据类型。作为最早出现的函数式编程语言之一,Lisp【注:它的名称就来源于“列表处理器”(LIStProcessor)】用函数参... 查看详情

《javascript函数式编程思想》

自序伴随着Web技术的普及,JavaScript已成为应用最广泛的编程语言之一。由于其在Web前端编程中的统治地位、语言本身的表现力、灵活性、开源的本质和ECMAScript标准近年来的快速发展,JavaScript向各个领域渗透的势头仍然... 查看详情

《javascript函数式编程思想》

自序伴随着Web技术的普及,JavaScript已成为应用最广泛的编程语言之一。由于其在Web前端编程中的统治地位、语言本身的表现力、灵活性、开源的本质和ECMAScript标准近年来的快速发展,JavaScript向各个领域渗透的势头仍然... 查看详情

《javascript函数式编程思想》——部分应用和复合

第5章 部分应用和复合一等值的函数,是函数式编程的基石。部分应用和复合,则是函数式编程的重要特征。采用命令式编程时,每当我们感觉需要抽象出一个新的功能时,就会定义一个函数。在函数式编程中... 查看详情

《javascript函数式编程思想》——名称

第1章 名称一般对函数式编程的介绍都会从一等值和纯函数等概念开始,本书却准备在那之前先花些篇章讨论两个通常未得到足够重视的主题:名称和类型系统。前者包括名称绑定、作用域和闭包等内容,后者包括类... 查看详情

《javascript函数式编程思想》——类型系统

第2章 类型系统为什么在许多编程语言中整数和浮点数是两种类型?结构体、数组、列表、映射……这些类型有什么关系?用户自定义的各种类型与它们又有什么关系?函数也是类型吗?强类型和弱类型意味着什... 查看详情

javascript中的函数式编程

本文和大家分享的主要是javascript中函数式编程相关内容,一起来看看吧,希望对大家学习javascript有所帮助。 函数式编程(functionalprogramming)或称函数程序设计,又称泛函编程,是一种编程范型,比起命令式编程,函数式编程... 查看详情

《javascript函数式编程思想》——递归

第7章 递归王二、张三和赵四一日无聊,决定玩击鼓传花讲冷笑话的游戏。王二和张三围成一圈传花,赵四负责击鼓。张三接连讲了几个诸如小菜、狐狸狡猾的笑话。花停在了王二的手中。王二:这个笑话很短。你要... 查看详情

《javascript函数式编程思想》——副作用和不变性

第6章 副作用和不变性6.1 副作用6.2 纯函数6.2.1 外部变量6.2.2 实现6.2.3 函数内部的副作用6.2.4 闭包6.3 不变性6.3.1 哲学上的不变性与身份6.3.2 简单类型和复合类型6.3.3 值类型和引用类型6.3.4 可变类型和不可变类型6.3.5 可变... 查看详情

函数响应式编程(frp)思想-callback风格

...让你的代码像数学一样简洁,业务像流水一样清晰流畅。函数响应式编程响应式编程思想为体,函数式编程思想为用。 响应式编程例如,在命令式编程环境中,a:=b+c表示将表达式的结果赋给a,而之后改变b或c的值不会影响a... 查看详情

函数式编程思想

对于函数式编程来说,其只关心,定义输入数据和输出数据相关的关系,数学表达式里面其实是在做一种映射(mapping),输入的数据和输出的数据关系是什么样的,是用函数来定义的。http://www.yxtvg.com/toutiao/5413179/20180212a04ro500.ht... 查看详情

函数响应式编程(frp)思想

...让你的代码像数学一样简洁,业务像流水一样清晰流畅。函数响应式编程响应式编程思想为体,函数式编程思想为用。响应式编程例如,在命令式编程环境中,a:=b+c表示将表达式的结果赋给a,而之后改变b或c的值不会影响a。但... 查看详情

kotlin函数式编程思想fpinkotlin

Kotlin函数式编程思想:FPinKotlin函数式编程特性闭包和高阶函数函数编程支持函数作为第一类对象,有时称为闭包或者仿函数(functor)对象。实质上,闭包是起函数的作用并可以像对象一样操作的对象。与此类似,FP语言... 查看详情

面向对象编程(代码片段)

...程思想,编程的时候把解决问题的步骤分析出来,然后用函数把这些步骤实现,在一步一步的具体步骤中再按顺序调用函数.2.函数式编程:"函数式编程"是一种"编程范式",也就是如何编写程序的方法论。它属于&qu... 查看详情

javascript函数式编程

第1章JavaScript函数式编程简介11.1JavaScript案例11.2开始函数式编程41.2.1为什么函数式编程很重要41.2.2以函数为抽象单元71.2.3封装和隐藏91.2.4以函数为行为单位101.2.5数据抽象141.2.6函数式JavaScript初试171.2.7加速191.3Underscore示例221.4总结2... 查看详情

javascriptes6函数式编程:柯里化偏应用组合管道(代码片段)

上一篇介绍了闭包和高阶函数,这是函数式编程的基础核心。这一篇来看看高阶函数的实战场景。首先强调两点:注意闭包的生成位置,清楚作用域链,知道闭包生成后缓存了哪些变量高阶函数思想:以变量作用域作为根基,以... 查看详情

js函数式编程思想(v客学院知识分享)

...现在已经更新到ES7,不久ES8规范即将面世,为了是JS语法对函数编程更加友好,诸如RxJS(ReactiveX)等函数式框架的不断流行。函数式编程则应该是以函数做为舰载主体,然后对函数进行拆分封装、更加抽象,可扩展性极强。 与传... 查看详情