Question

假设我有一些Int => Option[Int]类型的函数：

def foo(n: Int): Int => Option[Int] = {x => if (x == n) none else x.some}

val f0 = foo(0)
val f1 = foo(1)

我可以使用>=>将它们组成如下：

val composed: Int => Option[Int] = Kleisli(f0) >=> Kleisli(f1)

现在假设我需要从列表中编写所有函数：

val fs: List[Int => Option[Int]] = List(0, 1, 2).map(n => foo(n))

我可以使用map和reduce：

来实现

val composed: Int => Option[Int] = fs.map(f => Kleisli(f)).reduce(_ >=> _)

可以（上面composed）简化吗？

Answer 1

如果你想要合成monoid（而不是“run each和sum the result”monoid），你将不得不使用Endomorphic包装器：

import scalaz._, Scalaz._

val composed = fs.foldMap(Endomorphic.endoKleisli[Option, Int])

然后：

scala> composed.run(10)
res11: Option[Int] = Some(10)

kleisli箭头的monoid只需要一个monoid实例作为输出类型，而组合monoid需要输入和输出类型相同，所以后者只能通过包装器使用才有意义。

Answer 2

~~[A] Kleisli[Option, A, A]是Semigroup来自Compose，因此我们可以使用foldMap1：~~

val composed: Int => Option[Int] = fs.foldMap1(f => Kleisli(f))

<击>

有趣的是，这不起作用，但如果我们明确地传递了正确的实例，那么它会：

scala> val gs = NonEmptyList(fs.head, fs.tail: _*) gs: scalaz.NonEmptyList[Int => Option[Int]] = NonEmptyList(<function1>, <function1>, <function1>) scala> gs.foldMap1(f => Kleisli(f))(Kleisli.kleisliCompose[Option].semigroup[Int]) res20: scalaz.Kleisli[Option,Int,Int] = Kleisli(<function1>) scala> gs.foldMap1(f => Kleisli(f))(Kleisli.kleisliCompose[Option].semigroup[Int]).apply(1) res21: Option[Int] = None

我不确定似乎优先考虑的实例来自哪里。

编写返回选项的函数

2 个答案: