zoukankan      html  css  js  c++  java
  • 函数式编程中的函数—函数式编程的多态

    函数式编程中的函数—函数式编程的多态

    保存了计算上下文和计算过程的特殊值

    保存了计算上下文和计算过程的有输入输出的可计算结构。

    保存了计算上下文和计算过程的可配置结构;(柯里化)。

    函数作为一种特殊的值和结构,可以由更高阶的函数对其进行组合、变换、柯里化等操作;

    函数作为输入和输出:本质上都是可配置、可计算结构。

    可配置的是作为参量输入的计算上下文;

    可计算是计算上下文配置完备后直接进行计算;

    普通函数;

    参数函数(闭包函数);

    高阶函数;

    返回函数(内部函数);

    值函数:被其它函数引用和调用的函数;

    上下文函数:给值函数提供上下文(参量)的函数。

    函数:需要初始化的可求值结构;

    函数变量:需要二阶初始化的可求值变量

    1、求值结构初始化;函数绑定;

    2、求值上下文初始化;参数变量绑定;

    函数作为返回值的函数的解析

    1、定义函数变量,引用函数返回值;

    2、对函数变量进行上下文初始化,执行求值;

    形参上下文:

    函数内部对其它函数的引用,一部分是通过形参初始化的;

    编译器会对所有的基础函数:不管是内部还是外部的进行编译存储。

    函数式编程中可变的是同一签名下,不同实现的函数的可替代性。

    基础函数:函数式编程中所有的不可变的函数;

    组合函数:通过不可变的函数结合而成的函数。

    组合函数的调用入口仍然是基础函数;

    函数式编程的多态:

    同一个基础函数与不同的其它函数组合,会有不同的行为形式。

  • 相关阅读:
    Java之时间处理(当前年的上一年、上一季度、当月、当季)
    Nginx代理之大文件下载失败问题
    PageHelper之排序
    MySQL之集群配置
    Java之判断字符串是否为数字(包含浮点型数据)
    /bin/mysqld: error while loading shared libraries: libaio.so.1: cannot open shared object file:
    Error Code: 1153
    413 Request Entity Too Large
    MyBatis分页插件失效问题之解决
    HikariConfig 连接池属性详解
  • 原文地址:https://www.cnblogs.com/feng9exe/p/11365988.html
Copyright © 2011-2022 走看看