Richard Searle's Blog

Thoughts about software

Surprises with call-by-name and unary functions

Posted by eggsearle on March 27, 2012

I recently created a subtle defect while using the Play2 enumerators

Both  pushee and fromCallback are passed an onComplete that is executed when the target Iteratee can no longer accept any input. The signatures are slightly different

pushee:onComplete: ⇒ Unit
fromCallback:onComplete: () ⇒ Unit

I did not notice the difference and used {() => println("completed")} in each case. That prints the expected output for fromCallback but is not executed for pushee. The compiler does not generate any errors, making this a completely silent failure. Thanks to sadek for pointing out my error.

The next step was to gain a better understanding of this corner of the Scala language

def f(a: => Unit){a}
def g(a:() => Unit){a()}
def h(a: => String)={a}
def i(a:() => String)={a()}

f{() => println("2")}
g{() => println("3")}
println(i{() => "7"})

The result is
<console>:9: error: type mismatch;
found : () => java.lang.String
required: String

So there is something special about () => Unit


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: