Typ pierwszoklasowy

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Typ pierwszoklasowy – 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 procedury/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.