scala - 有没有构成 Kleisli 内同态的有趣例子？

Question

这是我之前的后续这是我之前的问题

我们可以将通过路径查找 XML 节点的函数定义为函数(List[String], XmlNode) => Option[XmlNode]的组合(String, XmlNode) => Option[XmlNode]按名称获取子节点

我们使用这样一个事实，即函数A => M[A]，其中M是一个单子，形成一个monoid因此我们可以轻松地组合它们。

现在我想知道是否还有其他有趣的例子来组合这些函数。

Answer 1

学习Scalaz的骑士任务示例

http://eed3si9n.com/learning-scalaz/A-knights-quest.html

前

def in3: List[KnightPos] =
  for {
    first <- move
    second <- first.move
    third <- second.move
  } yield third

def canReachIn3(end: KnightPos): Boolean = in3 contains end

之后（使用 scalaz.Endomorphic）

val moveK: Kleisli[List, KnightPos, KnightPos] = Kleisli(_.move)

def in(n: Int): List[KnightPos] =
  moveK.endo.multiply(n).run.run(this)

def canReachIn(n: Int, end: KnightPos): Boolean = in(n) contains end

https://gist.github.com/xuwei-k/c77aa4e19c0b4d4c10e2/revisions