私はこのようなものを想像します:
def combine[A, B, C](f: (A, B) => C): (M[A], M[B]) => M[C]
にM
なりますがFunction0
。これはscalazで可能ですか?
import scalaz._; import Scalaz._
def combine[A, B, C, M: Applicative](f: (A, B) => C) =
(ma: M[A], mb: M[B]) => (ma |@| mb)(f)
標準的な scala ではそれほど難しいことではありません。署名に固執するだけです。
def combine[A,B,C]( f: (A,B) => C )
= ( fA:(()=>A), fB:(()=>B) ) => f( fA(), fB() )
以下に小さな例を示します。
scala> val isProdPositive = combine( (i:Int,d:Double) => i*d > 0.0 )
isProdPositive: (() => Int, () => Double) => Boolean = <function2>
scala> val f1 = () => 2
f1: () => Int = <function0>
scala> val f2 = () => -1.5
f2: () => Double = <function0>
scala> isProdPositive(f1,f2)
res1: Boolean = false