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


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

    一、关系:

    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#高级编程第11版
    C#特性
    设计模式 单一职责原则
    设计模式 依赖倒置原则
    C# 预处理指令
    毕业设计 python opencv实现车牌识别 矩形矫正
    毕业设计 python opencv实现车牌识别 颜色判断
    毕业设计 python opencv实现车牌识别 界面
    南昌大学航天杯第二届程序设计竞赛校赛网络同步赛 I
    南昌大学航天杯第二届程序设计竞赛校赛网络同步赛 G
  • 原文地址:https://www.cnblogs.com/feng9exe/p/11364040.html
Copyright © 2020-2023  润新知