CODEWITHSUNDEEP
scala
ses
ses

Reputation: 13342

Scala Implicit parameters by passing a function as argument To feel the adnvatage

I try to feel the advantage of implicit parameters in Scala. (EDITED: special case when anonymous function is used. Please look at the links in this question)

I try to make simple emulation based on this post. Where explained how Action works in PlayFramework. This also related to that.

The following code is for that purpose: 

object ImplicitArguments extends App {

  implicit val intValue = 1 // this is exiting value to be passed implicitly to everyone who might use it

  def fun(block: Int=>String): String = { // we do not use _implicit_ here !
    block(2)  // ?? how to avoid passing '2' but make use of that would be passed implicitly ?
  }

  // here we use _implicit_ keyword to make it know that the value should be passed !
  val result = fun{ implicit intValue =>  {  // this is my 'block'
                         intValue.toString     // (which is anonymous function)
                       }
  }

 println(result) // prints 2

}

I want to get "1" printed.

How to avoid passing magic "2" but use "1" that was defined implicitly?

Also see the case where we do not use implicit in definition, but it is there, because of anonymous function passing with implicit.

EDITED: Just in case, I'm posting another example - simple emulation of how Play' Action works:

  object ImplicitArguments extends App {

  case class Request(msg:String)

  implicit val request = Request("my request")

  case class Result(msg:String)

  case class Action(result:Result)
  object Action {
    def apply(block:Request => Result):Action = {
     val result = block(...) // what should be here ??
     new Action(result)
    }
  }

  val action = Action { implicit request =>
    Result("Got request [" + request + "]")
  }

  println(action)

}

Upvotes: 4

Views: 11840

Answers (2)

ses
ses

Reputation: 13342

It seems that for that particular case I asked, the answer might be like this:

That this is not really a good idea to use implicit intValue or implicit request along with implicitly() using only one parameter for the function that accept (anonymous) function.

Why not, because:

Say, if in block(...) in apply() I would use implicitly[Request], then it does not matter whether I use "implicit request" or not - it will use request that is defined implicitly somewhere. Even if I would pass my own request to Action { myOwnRequest =Result }.

For that particular case is better to use currying and two arguments and.. in the second argument - (first)(second) to use implicit

Like this: 

def apply(block:Request => Result)(implicit request:Request):Action2

See my little effort around this example/use case here.

But, I don't see any good example so far in regards to how to use implicit by passing the (anonymous) function as argument (my initial question):

fun{ implicit intValue =>  {intValue.toString}

or that one (updated version):

val action = Action { implicit request =>
    Result("Got request [" + request + "]")
  }

Upvotes: 0

edofic
edofic

Reputation: 727

Implicits don't work like this. There is no magic. They are just (usually) hidden parameters and are therefore resolved when invoking the function.

There are two ways to make your code work.

you can fix the implicit value for all invocations of fun 

def fun(block: Int=>String): String = { 
  block(implicitly[Int]) 
}

implicitly is a function defined in Predef. Again no magic. Here's it's definition

def implicitly[A](implicit value: A) = value

But this means it will resolve the implicit value when declaring the fun and not for each invocation.

If you want to use different values for different invocations you will need to add the implicit paramter

def fun(block: Int=>String)(implicit value: Int): String = { 
  block(value) 
}

This will now depend on the implicit scope at the call site. And you can easily override it like this

val result = fun{ _.toString }(3)

and result will be "3" because of the explicit 3 at the end. There is, however, no way to magically change the fun from your declaration to fetch values from implicit scope.

I hope you understand implicits better now, they can be a bit tricky to wrap your head around at first.

Upvotes: 6

Related Questions