Obiekt przechowujący adres funkcji określonego typu i umożliwiający jej wywoływanie. Wywołania funkcji poprzez wskaźniki są sprawdzane pod względem typów, co ma na celu wymuszenie przestrzegania wymagań dotyczących typów argumentów i zwrócenie przez funkcję wyniku prawidłowego typu. Oznacza to, że wskaźniki na funkcje są bezpieczne ze względu na typy.
