Practical difference between def f(x: Int) = x+1 and val f = (x: Int) => x+1 in Scala

Question

I'm new to Scala and I'm having a problem understanding this. Why are there two syntaxes for the same concept, and none of them more efficient or shorter at that (merely from a typing standpoint, maybe they differ in behavior - which is what I'm asking).

In Go the analogues have a practical difference - you can't forward-reference the lambda assigned to a variable, but you can reference a named function from anywhere. Scala blends these two if I understand it correctly: you can forward-reference any variable (please correct me if I'm wrong).

---

Please note that this question is not a duplicate of What is the difference between “def” and “val” to define a function.

I know that def evaluates the expression after = each time it is referenced/called, and val only once. But this is different because the expression in the val definition evaluates to a function.

---

It is also not a duplicate of Functions vs methods in Scala.

This question concerns the syntax of Scala, and is not asking about the difference between functions and methods directly. Even though the answers may be similar in content, it's still valuable to have this exact point cleared up on this site.

Answer 1

There are three main differences (that I know of):

1. Internal Representation

Function expressions (aka anonymous functions or lambdas) are represented in the generated bytecode as instances of any of the Function traits. This means that function expressions are also objects. Method definitions, on the other hand, are first class citizens on the JVM and have a special bytecode representation. How this impacts performance is hard to tell without profiling.

2. Reference Syntax

References to functions and methods have different syntaxes. You can't just say foo when you want to send the reference of a method as an argument to some other part of your code. You'll have to say foo _. With functions you can just say foo and things will work as intended. The syntax foo _ is effectively wrapping the call to foo inside an anonymous function.

3. Generics Support

Methods support type parametrization, functions do not. For example, there's no way to express the following using a function value:

def identity[A](a: A): A = a

The closest would be this, but it loses the type information:

val identity = (a: Any) => a