• [Functional Programming Monad] Apply Stateful Computations To Functions (.ap, .liftA2)


    When building our stateful computations, there will come a time when we’ll need to combine two or more state transactions at the same time to come up with a new result. Usually this occurs when want to use plain ol’ JavaScript functions with two or more a arguments as part of our stateful computations.

    We first look at how this can be accomplished by using chain and closure to get access to both functions. Then we will explore how we can leverage the of construction helper and the ap Stateinstance method to clean this type of interaction up a bit. We then conclude with an even cleaner approach that takes full advantage of a crocks helper function named liftA2.

    For example, we have a function:

    const namefiy = firstName => lastName => `${lastName}, ${firstName}`;

    It should receive two params to return a string.

    one way is using .ap(), it takes the same input, run with the given functions and return its value, then combine those:

    var _getFullName = State.of(namefiy)
        .ap(getFirstName)
        .ap(getLastName)

    Or we can use .liftA2, it lift the function into State automaticlly:

    var getFullName = liftA2(
        namefiy,
        getFirstName,
        getLastName
    )

    ----

    const { liftA2, composeK, Unit, curry, objOf, compose, State, mapProps, prop, option } = require("crocks");
    
    const { put, get, modify } = State;
    
    const namefiy = firstName => lastName => `${lastName}, ${firstName}`;
    const getWord = number => name  => name.split(' ')[number];
    
    const getFirstName = get(getWord(0));
    const getLastName = get(getWord(1));
    
    var _getFullName = State.of(namefiy)
        .ap(getFirstName)
        .ap(getLastName)
    
    var getFullName = liftA2(
        namefiy,
        getFirstName,
        getLastName
    )
    console.log(
        getFullName
            .evalWith("John Green")
    )
  • 相关阅读:
    scala -- 柯里化
    scala-- 高阶函数
    neo4j 数据库导入导出
    scala -- 模式匹配
    命名空间
    [BZOJ1018][SHOI2008]堵塞的交通traffic 线段树维护连通性
    [BZOJ1017][JSOI2008]魔兽地图DotR 树形dp
    [BZOJ1260][CQOI2007]涂色paint 区间dp
    [bzoj1787][Ahoi2008]Meet 紧急集合
    [BZOJ2243][SDOI2011]染色
  • 原文地址:https://www.cnblogs.com/Answer1215/p/10343548.html
Copyright © 2020-2023  润新知