scala - 为什么 Scalaz 中 A => M[A] 没有 >=> 半群？

Question

这是我之前 question 的后续
Kleisli定义两个运算符 <=< (撰写)和 >=> (进而)。 >=>对我来说看起来很自然，我不明白如何<=<可能有用。

而且，好像没有>=> A => M[A] 的半群但<=<半群确实存在。

其背后的原理是什么？

Answer 1

compose (或 <=< )在无点和非无点样式之间转换时更自然一些。例如，如果我们有这些函数:

val f: Int => Int = _ + 1
val g: Int => Int = _ * 10

我们得到以下等价:

scala> (f andThen g)(3) == g(f(3))
res0: Boolean = true

scala> (f compose g)(3) == f(g(3))
res1: Boolean = true

在 compose案例 f和 g在等式两边的顺序相同。

不幸的是 Scala 的类型推断经常使 andThen (或 >=>)更方便，而且比 compose 使用更广泛。 .所以这是一个数学约定和 Scala 类型推断系统的怪癖不一致的情况。 Scalaz(考虑到项目的文化，这并不奇怪)选择了数学方面。