В языке Object Pascal процедуры и функции рассматриваются не только как части программы, выполняемые с помощью вызовов, а трактуются гораздо шире: допускается интерпретация процедур и функций как объектов, которые можно присваивать переменным и передавать в качестве параметров. Такие действия можно выполнять с помощью процедурных типов. В описании процедурного типа задаются параметры, а для функции еще и возвращаемое значение.
Синтаксис записи процедурного типа в точности совпадает с записью заголовка процедуры или функции, только опускается идентификатор после ключевого слова procedure или function.
Примеры объявлений процедурного типа: