Learning Functional Programming in Go

Anonymous function example and type inference

First, let's look at what we mean by the term anonymous function.

Function literals in Go require us to declare its type (int in our preceding example). In pure functional languages like Haskell and even Java 8 and above, the compilers of those languages are able to infer the type of the lambda expression without requiring use to declare it inline. Those compilers need minimal information to infer the types of expressions at runtime. If the compiler sees an expression with an argument of 5 and the "+" operator, a language with type inference will not require us to specifically indicate that we ...