字符串被视为 Monoid

Question

给定这样的签名或 那个：

def foo[A, F[_]](implicit mon: Monoid[F[A]], pr: Pure[F]): F[A]

假设 A 是 Char，有没有办法获取 String 而不是 List[Char]？

String 不接受类型参数，所以我认为这是不可能的。下一个最佳选择是什么？现在，我对结果使用 mkString ，但这感觉不是最佳的。

我认为 String 是一个具有 0 "" 和 append + 的幺半群。 。

Answer 1

可以说服 String 伪装成更高级的类型，从而允许使用 foo 形式的函数。但是，Scala 的类型推断目前无法完成推断 foo 类型参数的工作，因此您必须显式提供它们，

// Assuming the the definitions of Pure and Monoid from Scalaz

type ConstString = {
  type λ[X] = String
}

implicit def StringPure = new Pure[ConstString#λ] {
  def pure[A](a: => A) = a.toString
}

val sm = implicitly[Monoid[String]]
val sp = implicitly[Pure[ConstString#λ]]
val f : String = foo[Char, ConstString#λ](sm, sp) // OK

请注意 Char 类型foo 的参数未使用，可以是任何内容，但必须是某些内容：在这种情况下，Char 是自然选择，但 Nothing 或 < code>Any 也可以。

请注意，此解决方案利用了 String 的特殊特性：所有类型的值都可以转换为 String，因此 pure[A](a : => A ) : String 对于所有类型 A 都是可实现的。对于 String 以外的类型复制此习惯用法很可能必须利用某种机制来在 pure 主体中实现特定于类型的情况（例如某种模式匹配） ）。

Answer 2

我能想到的最好的解决方案是定义从 List[Char] 到 String 的隐式转换。

Answer 3

根据你的分析，scala 的类型系统将拒绝 String，因为它不是“更高种类的类型”* -> * 是正确的。也就是说，对于任何 F， String 类型都不能分配给 F[_] 。您可以尝试（我没有检查这一点）隐式转换

def foo[A, F[_], That](implicit mon: Monoid[F[A]], pr: Pure[F], FA_Is_That: F[A] <%< That)

......但我怀疑这不会那么有用，因为您必须在需要时提供自己的定制转换，而且还因为假设这是代码的热门部分，性能会很糟糕。

或者，使用标准库，您可以使用 CanBuildFrom 机制，但它与 scalaz 风格类型类的混合效果如何很好还远不明显。

def foo[A, F[_], That](implicit mon: Monoid[F[A]], pr: Pure[F], b: CanBuildFrom[A, F[A], That]): That

当然，在方法主体中，您将需要使用构建器来构造返回值，而不是 Monoid/Pure 类型类，我怀疑这使得它们有些多余。