Callbacks

There are two kinds of callbacks:

• those "without captured environment", i.e., functions, which can be represented as simple function pointers;

• and those with a captured environment, called closures.