Slide 38
Slide 38 text
3FEVDFͷఆٛ
trait Reduce[Sx, Sy] {
def apply (sx: Sx): Sy
}
implicit def doubleReduce [Sx, Sy, Sz]
(implicit reduce1: Reduce[Sx, Sy],
reduce2: Reduce[Sy, Sz])
: Reduce[Sx, Sz] =
{
new Reduce[Sx, Sz] {
def apply (sx: Sx): Sz = reduce2(reduce1(sx))
}
}
SFEVDFՄೳ͔Ͳ͏͔Λදݱ͢Δ
NVMUJQBSBN
ܕΫϥε
SFEVDFਪҠత
4Y4Z͔ͭ4Z4[ͳΒ4Y4[