В связи с недавним релизом решил взглянуть чуть пристальнее.
Наткнулся вот на такое: Y-combinator in Scala
Попробовал для него написать "сферовакуумконя№2" — функцию Аккермана.
(Int) => (Int) => Int получается элементарно:

scala> val ac = Y[Int,Int=>Int](f => m => (n => if (m==0) n+1 else if (n==0) f(m-1)(1) else f(m-1)(f(m)(n-1))))
ac: (Int) => (Int) => Int = <function>

scala> ac(3)(4)
res4: Int = 125

с (Int, Int) => Int уже хуже:

scala> val ack = (Y[Int,Int=>Int](f => m => (n => if (m==0) n+1 else if (n==0) f(m-1)(1) else f(m-1)(f(m)(n-1)))))(_)(_)
<console>:7: error: missing parameter type for expanded function ((x$1, x$2) => Y[Int, scala.Function1[Int, Int]](((f) => ((m) => ((n) => if
 (m.$eq$eq(0))
  n.$plus(1)
else
  if (n.$eq$eq(0))
    f(m.$minus(1))(1)
  else
    f(m.$minus(1))(f(m)(n.$minus(1)))))))(x$1)(x$2))
       val ack = (Y[Int,Int=>Int](f => m => (n => if (m==0) n+1 else if (n==0) f(m-1)(1) else f(m-1)(f(m)(n-1)))))(_)(_)
                                                                                                                   ^
<console>:7: error: missing parameter type for expanded function ((x$1: <error>, x$2) => Y[Int, scala.Function1[Int, Int]](((f) => ((m) => (
(n) => if (m.$eq$eq(0))
  n.$plus(1)
else
  if (n.$eq$eq(0))
    f(m.$minus(1))(1)
  else
    f(m.$minus(1))(f(m)(n.$minus(1)))))))(x$1)(x$2))
       val ack = (Y[Int,Int=>Int](f => m => (n => if (m==0) n+1 else if (n==0) f(m-1)(1) else f(m-1)(f(m)(n-1)))))(_)(_)
                                                                                                                      ^

Приходится указывать тип. Почему? Или можно переписать так, что бы он сам таки вывел типы?