t0003.check

来自「JAVA 语言的函数式编程扩展」· CHECK 代码 · 共 7 行

t0003.scala:2: error: type mismatch;
 found   : (A) => (B) => B
 required: (?) => B
  def foo[A, B, C](l: List[A], f: A => B=>B, g: B=>B=>C): List[C] = l map (g compose f)
                                                                                     ^
one error found