К скалярным, или не скалярным следует отнести типы:

Указателем называется целое специального вида, тип которого предназначен для хранения адреса чего то ещё.

Ссылкой называется альтернативное имя другого данного, при использовании которого для доступа к данному нет необходимости использовать синтаксис доступа по указателю, а следует использовать синтаксис доступа к переменной по её имени. Можно упрощённо считать, что ссылка есть разыменованный типизированный указатель, хранящий не изменяемый адрес другого данного, но стандарты языков не гарантируют реализацию ссылок именно через указатели.

Процедурным типом называется тип переменной, хранящей адрес подпрограммы и используемой для альтернативного вызова этой подпрограммы, причём синтаксис вызова подпрограммы с помощью переменной процедурного типа совпадает с синтаксисом вызова подпрограммы по её имени, а синтаксис записи адреса в переменную процедурного типа для запоминания того, какую именно подпрограмму следует потом вызывать с помощью данной переменной, может совпадать с синтаксисом присваивания значения указателю. В c++ процедурные переменные называются функторами и часто реализуются через указатели на подпрограммы, или являются такими указателями, причём, имя любой подпрограммы ассоциировано с указателем на точку входа в неё и может непосредственно использоваться в правой части оператора присваивания значения указателю на подпрограмму, сами подпрограммы на этом языке бывают единственного вида - только функции.

В c++ процедурные переменные называются функторами и часто реализуются через указатели на подпрограммы

Указатель на функцию тоже является функтором, но мы будем называть...

В c++ процедурные переменные называются функторами