[hfkwer]

What do you mean by the "type" of a function? It doesn't sound like you're using any kind of standard definition for the word.

[tialaramex]

A type. The same thing C++ does for a lambda, since you seem to understand C++ better.