Co oznacza słowo kluczowe "niejawny", gdy znajduje się przed parametrem wyrażenia lambda?

Question

Widziałem tego rodzaju kodu wiele razy, ostatnio na liście dyskusyjnej scala-user:

context(GUI) { implicit ec => 
    // some code 
} 

context jest zdefiniowany jako:

def context[T](ec: ExecutionContext)(block: ExecutionContext => T): Unit = { 
    ec execute { 
    block(ec) 
    } 
} 

czego służy keeyword implicit osiągnąć po umieszczeniu przed parametrem wyrażenia lambda?

Answer 1

scala> trait Conn 
defined trait Conn 

scala> def ping(implicit c: Conn) = true 
ping: (implicit c: Conn)Boolean 

scala> def withConn[A](f: Conn => A): A = { val c = new Conn{}; f(c); /*cleanup*/ } 
withConn: [A](f: Conn => A)A 

scala> withConn[Boolean](c => ping(c)) 
res0: Boolean = true 

scala> withConn[Boolean]{ c => implicit val c1 = c; ping } 
res1: Boolean = true 

scala> withConn[Boolean](implicit c => ping) 
res2: Boolean = true 

Ostatnia linia jest w istocie skrótem do drugiej.