Comment by vimax

I think lambdas or function pointers can be possible if they assume all of the scope of where they are called rather than where they are declared, that would prevent them from allowing recursion through forward declarations.

It would be awkward to work with since you'd have to be aware of all of the eventual caller scopes rather than your current local scope when defining it.

I suppose it would be like macros instead of true functions.