scala – 当你拥有andThen时,在函数上映射很有用

发布时间：2020-12-16 08:59:31 所属栏目：安全来源：网络整理

导读：使用 Scalaz,函数可以映射到另一个函数.我什么时候想要使用地图然后呢？使用地图有明显的优势吗？谢谢例如, val f: Int = Int = (a) = a + 10val g: Int = Int = (a) = a * 100(f map g map {_*3})(10) == (f andThen g andThen {_*3})(10) // true 解决方

使用 Scalaz,函数可以映射到另一个函数.我什么时候想要使用地图然后呢？使用地图有明显的优势吗？谢谢

例如,

val f: Int => Int = (a) => a + 10

val g: Int => Int = (a) => a * 100

(f map g map {_*3})(10) == (f andThen g andThen {_*3})(10)  // true

解决方法

暂时搁置实现细节,map是forThen for functions(在A =>？的仿函数实例下),如果我们说话的话,谈论更喜欢一个而不是真的很有意义关于功能而不是某些更高级别的抽象.

像map这样的方法(以及像Functor这样的类型类)允许我们做的是抽象特定类型或类型构造函数.假设我们想要编写一个适用于A =>的incrementResult方法.例如,Int或Kleisli [Option,A,Int].这些类型在继承方面没有任何共同点(缺少AnyRef,这是无用的),但A => ？和Kleisli [Option,？]都是仿函数,所以我们可以这样写：

import scalaz._,Scalaz._

def incrementResult[F[_]: Functor](f: F[Int]): F[Int] = f.map(_ + 1)

然后像这样使用它(注意我使用kind-projector来简化类型语法)：

scala> val plainOldFuncTriple: Int => Int = _ * 3
plainOldFuncTriple: Int => Int = <function1>

scala> val optionKleisliTriple: Kleisli[Option,Int,Int] = Kleisli(i => Some(i * 3))
optionKleisliTriple: scalaz.Kleisli[Option,Int] = Kleisli(<function1>)

scala> val f = incrementResult[Int => ?](plainOldFuncTriple)
f: Int => Int = <function1>

scala> val k = incrementResult[Kleisli[Option,?]](optionKleisliTriple)
k: scalaz.Kleisli[Option,Int] = Kleisli(<function1>)

scala> f(10)
res0: Int = 31

scala> k(10)
res1: Option[Int] = Some(31)

在这种情况下,特别是有更好的方法来实现这个操作,但它显示了一般的想法 – 我们不能编写一个适用于普通函数的单个方法和使用andThen的Kleisli箭头,但我们可以使用额外的抽象级别地图给了我们.

所以要回答你的问题 – 如果你想抽象出所有具有仿函数实例的类型构造函数,你会使用map,但是如果你专门使用函数,map就是andThen,并且 – 只要我们还在设置除了实施细节 – 你选择哪个并不重要.

脚注：Scalaz的语法包为您提供了具有functor实例的类型值的映射是作为扩展方法实现的,因此在函数中使用map而不是andThen时会有一点点开销(在编译时和运行时都有) .如果你只是在处理函数而不需要额外的抽象,那么你可以选择和其他人一起使用.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!