• 函数式编程的三个核心问题:计算的构建、求值、关系


    函数式编程的三个核心问题:计算的构建、求值、关系

    一、关系:

    1、函数与函数的关系:引用、无关;

    2、函数与值的关系:输入输出、上下文;

    3、值与值的关系:引用、因果;

    二、计算的构建:

    1、输入输出流的平凡构建;签名兼容的函数调用链构建;无高阶函数,构建器compose pipeline本身是高阶函数;

    2、函数作为参量引用链的构建;

    3、monad+高阶函数的类型推演链构建;构建的形式相当于普通数据结构的单向或双向链表;

    三、求值(计算)的执行:

    1、输入

    1)平凡值:普通的变量

    2)信号源:响应式编程中的输入;

    3)异步计算:将异步计算封装为一个特殊的值;

    4)io流:同步或异步的io事件或数据流;

    2、计算的执行

    1、显式调用:计算结构完成后显式调用计算的整体结构;

    2、构建调用:在引入后继计算时,计算当前和引入计算的阶段计算结果保存进一个monand中,供后即计算使用;

    3、异步或IO流注入,触发调用事件;

    4、回溯调用:计算构建完毕后,由末端节点触发求值,求值请求沿着计算节点在源头触发求值;计算结构是由monad链接起来的双向链结构

    pushpullobserver;

    四、构建与计算的关系:

    先构建计算,再调用计算结构执行计算;构建的过程只有计算关系的构建,只有函数的组装,没有求值的过程。

    边构建边计算;每引入一个计算后,就执行阶段性计算结果;计算结果保存进一个monand中,供后即计算使用;

    五、同步与异步

    同步:

    1、无monad参与的计算构建:求值过程遵从先构建再求值的过程;

    2、有moand参与的计算构建:边构建边计算,计算的输入和结构都有monand作为上下为保存。moand同事作为计算结构连接节点的作用;

    异步:

    moand作为封装异步数据的上下文参与计算的构建和计算的执行。

  • 相关阅读:
    c# 集合运算
    Nuxt
    引入js,不共享变量
    sourcetree将存在的本地项目提交到远程仓库
    c#DateTime与unix时间戳互相转换
    IfcBoundingBox
    IfcBooleanResult
    IfcAnnotationFillArea
    IfcGeometricRepresentationItem
    IfcRepresentationItem
  • 原文地址:https://www.cnblogs.com/feng9exe/p/11364040.html
Copyright © 2020-2023  润新知