However, function pointers are not a sufficient condition for functions to be first class datatypes, because a function is a first class datatype if and only if new instances of the function can be created at run-time.
Међутим, извршиоци програма нису довољан услов за функције да буду типови прве класе, зато што је функција тип података прве класе ако и само ако нова инстанца функције може бити креирана у брзом времену.