Typ pierwszoklasowy

W języku programowania jest to obiekt który spełnia poniższe właściwości:

• może być przechowywany w zmiennej i strukturach danych
• może być przekazywany jako parametr do procedury/funkcji
• może być zwracany przez procedurę/funkcje
• może być tworzony na bieżąco
• posiada tożsamość (niezależną od nazwy)

Czyli musi mieć takie same właściwości jak typy wbudowane.

W językach silnie obiektowych takich jak Python wszystko jest typem pierwszoklasowym (liczby, klasy, łańcuchy znaków, listy, funkcje).

Jeżeli w danym języku funkcje są typem pierwszoklasowym to można w nich tworzyć funkcje wyższego rzędu, jest to cecha języków funkcyjnych.