Day 27 - State Monad II

在上一章，我们提到了如何用一般方法实作 PRNG 乱数生成器，本章将介绍 State Monad 以及改写上一章的范例，废话不多说让我们看下去吧!

Introduction

concept

State a s

State Monad 的 constructor 也跟 Reader Monad一样，都是放入函式，比较值得注意的是，State 里面包含了 s 与 a, s 表示为状态, a 则是结果

const State = run => ({
    run,
})

State.of = a => State(s => [a, s])

Functor

而 State Functor 则可以将 a 进行 trasnform，

const State = run => ({
    run,
    map: f => State(a => {
        const [y, s] = run(a);
        return [f(y), s]
    })
})

这样就可将前一篇的 randomInRange 先改为

const seed = 1;

const randomInRange = (min, max) => s => 
  State(generator).map(value).map(normalize(min, max)).run(s);

randomInRange(0, 1)(seed)

// [5, 1103527590]

再来将前一章最後的范例改为

const nameList = ["jing", "jing*5", "jing-tech"];

const randomName = (from) => (seed) =>
  randomInRange(0, from.length)
    .map((index) => from[index])
    .run(seed);

const [name, r1] = randomName(nameList)(1); // ["jing*5", 1103527590]

是不是清楚很多了!!

Chain

const State = (run) => ({
  run,
  map: (f) =>
    State((a) => {
      const [y, s] = run(a);
      return [f(y), s];
    }),
  chain: f =>
      State(x => {
        const [y, s] = run(x);
        return f(y).run(s)
      }), 
});

当然也可以将两个 State Monad 作结合，例如是要继续精进自己，还是当懒虫。

const randomInRange = (min, max) => 
  State(generator).map(value).map(normalize(min, max));
  
const randomFrom = (from) =>
  randomInRange(0, from.length).map((index) => from[index]);
  
const keepImprove = randomFrom(['Study', 'Coding', "Writing"]);
const lazy = randomFrom(['Couch Potato', 'Netflix']);

const seed = 1;
const result = randomInRange(0, 1)
  .map((n) => n === 1)
  .chain((bool) => (bool ? keepImprove : lazy))
  .run(seed); // ["Couch Potato", 377401600]