码迷,mamicode.com
首页 > 其他好文 > 详细

[Functional Programming] Transition State based on Existing State using the State ADT (liftState, composeK)

时间:2019-01-11 21:20:34      阅读:25      评论:0      收藏:0      [点我收藏+]

标签:tis   ati   ram   sid   any   tin   function   opera   tca   

While sometimes outside input can have influence on how a given stateful transaction transitions, there are many times where the current state at the time of a transaction. We can see the power of this type of transaction by seeing what it would take to read from two different locations in state in parallel and then pass on the result of combining them under a comparison operation to another transition that will set a different location based on the result.

 

const {prop, State, omit, converge,map, composeK, liftA2, equals, constant,option, chain, mapProps, find, propEq, isNumber, compose, safe} = require(crocks);
const  {get, modify, of} = State; 

// getState :: String -> State Object (Maybe a)
const getState = key => get(prop(key));

// liftState :: ( a -> b) -> a -> State s b
const liftState = fn => compose(
    of,
    fn // getfn return value and pass into State.of
);

// getHint :: () -> State AppState Hint 
const getHint = () => getState(hint)
    .map(option({color: yay, shape: uwu}));

// getCard :: String -> State AppState Card
const getCard = (id) => getState(cards)
    .map(chain(find(propEq(id, id)))) // find() return a Maybe, so need to use chain to unfold the value
    .map(option({id: null, color: unk, shape: unk}));

// cardToHint :: State AppState Hint     
const cardToHint = composeK(
    liftState(omit([id])),
    getCard
)

// setIsCorrect :: Boolean -> State AppState ()    
const setIsCorrect = (b) => modify(mapProps({isCorrect: constant(b)}));

const validateAnswer = converge(
    liftA2(equals),
    cardToHint,
    getHint
)

const feedback = composeK(
    setIsCorrect,
    validateAnswer
)


/////////////////////////////////////////////////////

const state = {
    cards: [
        {id: green-square, color: green, shape: square},
        {id: orange-square, color: orange, shape: square},
        {id: blue-triangle, color: blue, shape: triangle}
    ],
    hint: {
        color: green,
        shape: square
    },
    isCorrect: null
}

console.log(
    feedback(green-square)
        .execWith(state)
)

[Functional Programming] Transition State based on Existing State using the State ADT (liftState, composeK)

标签:tis   ati   ram   sid   any   tin   function   opera   tca   

原文地址:https://www.cnblogs.com/Answer1215/p/10257131.html

(0)
(0)
   
举报
评论 一句话评论(0
0条  
登录后才能评论!
© 2014 mamicode.com 版权所有 京ICP备13008772号-2
迷上了代码!