我已经第一次使用cats来解决代码的出现day 1,我想知道是否有可能改进的东西。如何使用猫和状态Monad
给定一个方法update
具有以下签名 def update(i: Instruction): PosAndDir => PosAndDir
我想出:
val state: State[PosAndDir, List[Unit]] = instructions.map(i => State.modify(update(i))).toList.sequenceU
val finalState = state.runS(PosAndDir(Pos(0, 0), North)).value
而且还
def update2(i: Instruction): State[PosAndDir, Option[Pos]] =
State.modify(update(i)).inspect(pad => if (i == Walk) Some(pad.pos) else None)
…
val state = instructions.map(update2).toList.sequenceU
val positions = state.runA(PosAndDir(Pos(0, 0), North)).value.flatten
更准确地说,问题是:
- 为什么我们需要拨打
.value
(与斯卡拉,它是透明的)? - 有没有办法写
update2
用于理解提高可读性? - 是否有
Applicative
实例为Seq
在猫(我知道有没有scalaz)。 ? - 任何想法改善代码?
你能提供PosAndDir','Pos'和'Dir' – Odomontois
肯定'定义。完整的代码在这里:https://gist.github.com/YannMoisan/18e44d8998d42d745a3ea9caaae4c16a –