當(dāng)你使用更高級(jí)的類型時(shí)，類型lambda是非常重要的。
考慮一個(gè)簡(jiǎn)單的例子，為Either [A，B]的正確投影定義一個(gè)monad。monad類型類看起來像這樣：
trait Monad[M[_]] {
def point[A](a: A): M[A]
def bind[A, B](m: M[A])(f: A => M[B]): M[B]}現(xiàn)在，要么是兩個(gè)參數(shù)的類型構(gòu)造函數(shù)，但要實(shí)現(xiàn)Monad，您需要為它提供一個(gè)參數(shù)的類型構(gòu)造函數(shù)。對(duì)此的解決方案是使用類型lambda：
class EitherMonad[A] extends Monad[({type λ[α] = Either[A, α]})#λ] {
def point[B](b: B): Either[A, B]
def bind[B, C](m: Either[A, B])(f: B => Either[A, C]): Either[A, C]}這是在類型系統(tǒng)中進(jìn)行currying的一個(gè)示例 - 您已經(jīng)知道了Either的類型，這樣當(dāng)您想要?jiǎng)?chuàng)建EitherMonad的實(shí)例時(shí)，您必須指定其中一種類型; 另一方面當(dāng)然是在你調(diào)用point或bind時(shí)提供的。
類型lambda技巧利用了類型位置中的空塊創(chuàng)建匿名結(jié)構(gòu)類型的事實(shí)。然后我們使用＃語法來獲取一個(gè)類型成員。
在某些情況下，您可能需要更復(fù)雜的類型lambda，這是寫內(nèi)聯(lián)的痛苦。這是我今天的代碼中的一個(gè)例子：
// types X and E are defined in an enclosing scopeprivate[iteratee] class FG[F[_[_], _], G[_]] {
type FGA[A] = F[G, A]
type IterateeM[A] = IterateeT[X, E, FGA, A] }這個(gè)類專門存在，所以我可以使用像FG [F，G] #IterateeM這樣的名稱來引用IterateeT monad的類型，專門用于第二個(gè)monad的某些變換器版本，專門用于某些第三個(gè)monad。當(dāng)你開始堆疊時(shí)，這些類型的構(gòu)造變得非常必要。當(dāng)然，我從未實(shí)例化過FG; 它只是作為一個(gè)黑客讓我在類型系統(tǒng)中表達(dá)我想要的東西。
