Equality of functions in Scala, is functions objects in Scala?

Question

I am reading the book Programming in Scala. In the book, it says that \"A function literal is compiled into a class that when instantiated at runtime is a function value\".

Answer 1

It's not clear what "equality" of functions means. Typically, what people care about is "do these two functions compute the same result?"

This, however, is a well-known undecidable problem, the Function Problem. The actual proof is more complex, obviously, but a simple intuition is: if you could tell whether two functions were equal, then you could solve the Halting Problem by asking "is this function equal to while (true) {}?"

So, we cannot decide whether two functions compute the same result. What we could do, is for example, check whether they contain the exact same code. But that is pretty boring. Just some tiny compiler optimization or renaming a single variable will make two functions that intuitively should be equal not equal.

Ergo, we take the easy way out: two functions are equal if they are identical, otherwise they aren't.