2

给定一个函数，在记录 s 时f: A => E \/ B收集B某些 s 列表结果的惯用方法是什么？AE

我想出了以下内容（部分是在回答这个 SO question时）：

import scalaz._, Scalaz._
type Logger[+A] = Writer[List[String], A]

def logged[A, E, B, F[_]](f: A => E \/ B)(implicit FM: Monoid[F[E]], FP: Pointed[F]): (A => Writer[F[E], Option[B]]) = 
  (a: A) => f(a).fold(e => Writer(FP.point(e), None), b => Writer(FM.zero, Some(b)))

def listLogged[A, E, B](f: A => E \/ B) = logged[A, E, B, List](f)

type W[+A] = Writer[List[String], A]

def keepOdd(n: Int): String \/ Int = 
  if (n % 2 == 1) \/.right(n) else \/.left(n + " was even")

scala> val x = List(5, 6).traverse[W, Option[Int]](listLogged(keepOdd))
x: W[List[Option[Int]]] = scalaz.WriterTFunctions$$anon$26@503d0400

scala> x.run
res11: (List[String], List[Option[Int]]) = (List(6 was even),List(Some(5), None))

scala> val (logs, results) = x.map(_.flatten).run
logs: List[String] = List(6 was even)
results: List[Int] = List(5)

有没有更短/更好/限制更少/更通用的方法？

4

1 回答 1

2

您可以使用putWith写出我认为更具可读性的logged方法：

def logged[A, E, B, F[_]: PlusEmpty: Pointed](f: A => E \/ B) = (a: A) =>
  WriterT.putWith(f(a).point[Id])(_.swap.toOption.orEmpty[F]).map(_.toOption)

我还认为，PlusEmpty绑定的上下文F看起来比明确要求F[E]]成为一个幺半群要干净一些（当然，它完成了同样的事情）。遗憾的是，这.point[Id]一点是必要的——没有Writer.putWith——但我猜乞丐不能成为选择者。

我也会keepOdd这样写：

def keepOdd(n: Int) = Either.cond(n % 2 == 1, n, n + " was even").disjunction

或者至少使用n.right代替\/.right(n)，但这只是口味问题。

于 2012-09-17T23:00:57.473 回答