这是我之前的
question的后续内容
Kleisli定义了两个运算符< =< (撰写)和> => (然后). > =>对我来说看起来很自然,我不明白< =<可能很有用. 而且,看起来没有> =>半群A => M [A]但是< =<半群确实存在. 它背后的理由是什么？
解决方法
在无点和无点样式之间进行平移时,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
在组成的情况下,f和g在等式的两边具有相同的顺序.
不幸的是,Scala的类型推断经常使得andThen(或> =>)更方便,并且它往往比compose更广泛地使用.因此,这是一个数学约定和Scala类型推理系统的怪癖不一致的情况. Scalaz(考虑到项目的文化,并不太令人惊讶)选择了数学方面.
