zoukankan      html  css  js  c++  java
  • [Functional Programming] Randomly Pull an Item from an Array with the State ADT (Pair)

    Functor composition is a powerful concept that arises when we have one Functor nested in another Functor. It becomes even more powerful when both of those are Chains, allowing us to apply each Functor’s special properties and effects for a given computation.

    We witness this power first hand by combining our beloved State with a Pair type mixing the ability to randomly pick an index from an Array using State and use it to draw an element from the Array. We will build up to an easy to use interface that allows us to pull as many elements as we need, by chaining on single State transaction.

    // getDeck :: () -> State AppState Deck
    const getDeck = () => generateCards()
        .map(xs => Pair([], xs));
    /**
     Pair( 
         [ ],
         [ { id: "orange-square", color: "orange", shape: "square" }, { id: "orange-triangle", color: "orange", shape: "triangle" }, { id: "orange-circle", color: "orange", shape:
    "circle" }, { id: "green-square", color: "green", shape: "square" }, { id: "green-triangle", color: "green", shape: "triangle" }, { id: "green-circle", color: "green", shape: "circle" }, { id: "blue-square", color: "blue", shape: "square" }, { id: "blue-triangle", color: "blue", shape: "triangle" }, { id: "blue-circle", color: "blue", shape: "circle" }, { id: "yellow-square", color: "yellow", shape: "square" }, { id: "yellow-triangle", color: "yellow", shape: "triangle" }, { id: "yellow-circle", color: "yellow", shape: "circle" } ] 
    ) 
     */
    // draw ::  Integer -> Deck -> Deck    
    const draw = compose(
        chain,
        drawCardAt
    );
    // const draw = index => deck => deck.chain(drawCardAt(index))
    
    // drawRandom :: Deck -> State AppState Deck
    // From the right side pair, get a random index, then draw the card by index
    const drawRandom = converge(
        liftA2(draw),
        compose(
            randomIndex,
            snd
        ),
        liftState(identity)
    )
    
    console.log(
        getDeck()
            .chain(drawRandom)
            .chain(drawRandom)
            .chain(drawRandom)
            .evalWith(state).fst()
    )
    /**
     * [ { id: 'orange-square', color: 'orange', shape: 'square' },
      { id: 'blue-triangle', color: 'blue', shape: 'triangle' },
      { id: 'blue-square', color: 'blue', shape: 'square' } ]
     */
    console.log(
        getDeck()
            .chain(drawRandom)
            .chain(drawRandom)
            .chain(drawRandom)
            .evalWith(state).snd()
    )
    /**
     [ { id: 'orange-triangle', color: 'orange', shape: 'triangle' },
      { id: 'orange-circle', color: 'orange', shape: 'circle' },
      { id: 'green-square', color: 'green', shape: 'square' },
      { id: 'green-triangle', color: 'green', shape: 'triangle' },
      { id: 'green-circle', color: 'green', shape: 'circle' },
      { id: 'blue-circle', color: 'blue', shape: 'circle' },
      { id: 'yellow-square', color: 'yellow', shape: 'square' },
      { id: 'yellow-triangle', color: 'yellow', shape: 'triangle' },
      { id: 'yellow-circle', color: 'yellow', shape: 'circle' } ]
     */

    ------

    const {prop,assoc, Pair, pick, bimap, State, snd, identity, omit, curry, filter, fanout, converge,map, composeK, liftA2, equals, constant,option, chain, mapProps, find, propEq, isNumber, compose, safe} = require('crocks');
    const  {get, modify, of} = State; 
    
    const state = {
        colors: [ 'orange', 'green', 'blue', 'yellow' ],
        shapes: [ 'square', 'triangle', 'circle' ],
        seed: Date.now()
    };
    
    const liftState = (fn) => compose(
        of, fn
    );
    const getState = key => get(prop(key))
    
    // #region random 
    // nextSeed :: Integer -> Integer
    const nextSeed = seed =>
      (seed * 1103515245 + 12345) & 0x7fffffff
    
    // value :: Integer -> Number
    const value = seed =>
      (seed >>> 16) / 0x7fff
    
    // normalize :: (Integer, Integer) -> Number -> Integer
    const normalize = (min, max) =>
      x => Math.floor(x * (max - min)) + min
    
    // getNextSeed :: () -> State AppState Integer
    const getNextSeed = () =>
      get(({ seed }) => nextSeed(seed))
    
    // updateSeed :: Integer -> State AppState ()
    const updateSeed = seed =>
      modify(assoc('seed', seed))
    
    // nextValue :: Integer -> State AppState Number
    const nextValue = converge(
      liftA2(constant),
      liftState(value),
      updateSeed
    )
    
    // random :: () -> State AppState Number
    const random =
      composeK(nextValue, getNextSeed)
    
    // between :: (Integer, Integer) -> State AppState Integer
    const between = (min, max) => 
        random()
            .map(normalize(min, max));
    
    const randomIndex = xs => between(0, xs.length);        
    // #endregion
    
    // #region generate
    
    const getColors = () => getState('colors').map(option([]));
    const getShapes = () => getState('shapes').map(option([]));
    const buildCard = curry((color, shape) => ({
        id: `${color}-${shape}`,
        color,
        shape
    }));
    const buildCards = liftA2(buildCard);
    const generateCards = converge(
        liftA2(buildCards),
        getColors,
        getShapes
    );
    
    // #endregion
    
    // #region draw 
    const getAt = index => array => Array.of(array[index]);
    const unsetAt = index => array => [
        ...array.slice(0, index),
        ...array.slice(index + 1)
    ];
    const drawCardAt = index => fanout(getAt(index), unsetAt(index));
    // #endregion
    
    // getDeck :: () -> State AppState Deck
    const getDeck = () => generateCards()
        .map(xs => Pair([], xs));
    
    // draw ::  Integer -> Deck -> Deck    
    const draw = compose(
        chain,
        drawCardAt
    );
    // const draw = index => deck => deck.chain(drawCardAt(index))
    
    // drawRandom :: Deck -> State AppState Deck
    const drawRandom = converge(
        liftA2(draw),
        compose(
            randomIndex,
            snd
        ),
        liftState(identity)
    )
    
    console.log(
        getDeck()
            .chain(drawRandom)
            .chain(drawRandom)
            .chain(drawRandom)
            .chain(drawRandom)
            .evalWith(state).fst()
    )
  • 相关阅读:
    最全的Pycharm debug技巧,「建议收藏」
    2种场景下的Docker配置的jerkins乱码处理
    is_unique 属性检查给定 Series 对象中的基础数据是否唯一
    【吐血整理】Python 常用模块(二):json 模块
    SDL 显示输入法候选框
    八十年代的歌 磊哥吉他谱
    【云服务器】推荐san、feng、yun服务器,目前永久免费!
    1.0Spring的“出生”
    写在之前-最近打算整理下Spring
    杂记-DIY电脑清单
  • 原文地址:https://www.cnblogs.com/Answer1215/p/10289042.html
Copyright © 2011-2022 走看看