scala中的提升函数

Question

我想用implicits来定义提升。假设我们有一个函数A => B，我想定义如何将它提升到Maybe，即Maybe [A] => Maybe [B]。

这可以通过隐式转换简单完成。但是，如果我想对具有两个或更多参数的函数执行相同的操作，则会出现问题。我知道的唯一解决方案是复制代码。

我想用任意数量的参数来实现这种提升任意函数而没有重复。这可能在斯卡拉？

Answer 1

如果F有一个函子实例可用，可以将任何函数A => B提升为F[A] => F[B]。

如果F有一个可用的函数实例，可以将任何函数A => B => C => .. => Z提升为F[A] => F[B] => F[C] => .. => F[Z]。从本质上讲，应用仿函数是任意仿函数的泛函。

您可以了解仿函数和应用仿函数here和here。涵盖这些想法的还有this优秀的演讲。

斯卡拉斯图书馆提供这些抽象（和更多！）。

import scalaz._ 
import Scalaz._ 

scala> val foo: Int => String = _.toString 
foo: Int => String = <function1> 

scala> foo.lift[Option] 
res0: Option[Int] => Option[String] = <function1> 

scala> res0(Some(3)) 
res1: Option[String] = Some(3) 

scala> res0(None) 
res2: Option[String] = None 

scala> val add: (Int, Int) => Int = _ + _ 
add: (Int, Int) => Int = <function2> 

scala> add.lift[Option] 
res3: (Option[Int], Option[Int]) => Option[Int] = <function2> 

scala> res3(Some(2), Some(1)) 
res4: Option[Int] = Some(3) 

scala> res3(Some(2), None) 
res5: Option[Int] = None 

scala> res3(None, None) 
res6: Option[Int] = None 

Scalaz上皮条客Function2lift方法，Function3等因为是syntactially较重咖喱功能不经常使用。在幕后，提升发生在Function1（即咖喱功能）上。

您可能还想看看Scalaz source code。