We can do a lot of cool things with functions besides calling them in OCaml.
\nValues are a subset of expressions, as previously stated. All expressions can evaluate to values, but values are final.
\nAnonymous functions are also values. Sometimes, it's more convenient not to create and name a whole new function for our purpose. Anonymous functions are ad hoc functions that exist as values in expressions. They are expressed using the keyword fun.
let y = fun x -> x + 3\nThis might not seem to have much benefit compared to a full function definition, but it is very useful within let expressions. Since anonymous functions are values, not just expressions, they can be manipulated far more powerfully than even general expressions.
let y = (fun x -> x + 1) 2 in\n(fun z -> z - 2) y\nThis code might seem a little hard to parse, but it's easier to think about if we rewrite it to use traditional function definitions.
\nlet f x =\n x + 1\nlet g z =\n z - 2\nlet y = f 2 in\ng y\nNow we can tell that y is 3 in the function g, which then evaluates to 1. However, the former code snippet is a much terser way to write this expression if we don't need the functions f and g anymore.
One good way to think about it is that anonymous functions are to regular functions as literals are to variables. If we only need to use the value \"really_long_string\" once, we don't need to store it in a variable. On the other hand, it can be useful to store that literal in a variable s that is much shorter to write. Similarly, if we only need to use the function x -> x + 1 once, we don't need to store it in a function variable.
In fact, this isn't even an analogy. Functions are first-class in OCaml, so regular functions are just variables that store anonymous functions:
\nlet f x = body\n(* this is sugar for this *)\nlet f = fun x -> body\nAnd in the same vein, we can name functions within let expressions in an anonymous ways.
let move l x =\n let left x = x - 1 in\n let right x = x + 1 in\n if l then left x\n else right x\n;;\n(* same as *)\nlet move' l x =\n if l then (fun y -> y - 1) x\n else (fun y -> y + 1) x\nNote also that the local variable in the anonymous function doesn't actually matter to the expression it's used in; this is a consequence of the shadowing rules of OCaml.
\nThere are several functions in the standard library of OCaml that use higher order functions.
\nmap is a function in the List module of OCaml. Like the name implies, this function maps a function onto every element of a list and returns that list. It has type ('a -> 'b) -> 'a list -> 'b list.
let rec map f l =\n match l with\n | [] -> []\n | h :: t -> (f h) :: (map f t)\nThis is a simple, yet powerful and useful function. That's why it is included in the List module, although it's trivial to write yourself.
fold is another function in the List module in OCaml, that iterates over a list. The essential idea is that you have an accumulator variable that you want to get based on the values in a list.
let rec fold f acc l =\n match l with\n | [] -> acc\n | h :: t -> fold f (f acc h) t\nFor example, this is a way to implement a sum function using fold.
let rec sum acc l =\n match l with\n | [] -> acc\n | h :: t -> sum (acc + h) t\nsum 0 [2; 5; 100; 53];;\n(* same as *)\nfold (fun acc x -> acc + x) 0 [2; 5; 100; 53];;\nIts type is ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a. We can deconstruct that and understand each part of the function. The initial function f applies the type 'b to 'a and returns 'a. Then for the next two arguments, we keep the same 'a accumulator and iterate over the 'b list.
The use of an accumulator makes fold very versatile, since you can put anything in there.
We can combine map and fold to create the map/reduce framework which can be massively parallelized. We first map a function over our list, then we reduce the list into a single accumulator value.
There is also an alternative version of fold called fold_right that works in reverse, which can be better for certain problems. However, it comes with steep performance cost: every recursive call builds a new stack frame. The original fold is able to optimize this call away by using tail recursion.