Typ pierwszoklasowy

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

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.