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

[Functional Programming] Randomly Pull an Item from an Array with the State ADT (Pair)

时间:2019-01-18 20:07:27      阅读:99      评论:0      收藏:0      [点我收藏+]

标签:code   more   tco   etc   curry   abi   cep   style   generate   

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()
)

 

[Functional Programming] Randomly Pull an Item from an Array with the State ADT (Pair)

标签:code   more   tco   etc   curry   abi   cep   style   generate   

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

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!