type lambda

其实type lambda就是类型系统上的currying。

type lambda长的什么样子？Sample as below

   trait Monad[M[_]] {
      def point[A](a: A): M[A]
      def bind[A, B](m: M[A])(f: A => M[B]): M[B]
    }

    class EitherMonad[A] extends Monad[({type λ[α] = Either[A, α]})#λ] {
      override def point[B](b: B): Either[A, B] = ???
      override def bind[B, C](m: Either[A, B])(f: (B) => Either[A, C]): Either[A, C] = ???
    }

Either有两个类型参数，但是Monad只能接受M[_]包裹类一个参数，

所以需要将Either转换成符合规则的1个类型参数。做法就是在定义的时候实现填入一个，而另一个留到point和bind调用的时候再进行填入。可以看到红色字体部分Either的A已经被确定，然后剩下的α被变形成了λ[α]，是符合M[_]定义的。λ就是一个柯里化出来的类型，A虽然已经看不见了，但是被隐藏其中。

另外一个例子：

def foo[M[_]](value: M[Int]) = value

foo(List(1,2,3)) // res: List(1,2,3)

foo((x: Int) => println) // 这样子是不行的

foo[({type X[Y] = Function1[Y, Unit]})#X]((value: Int) => println) // 必须要这样定义类型参数