Pok-12-wyk-Slajd15
Z Studia Informatyczne
Wyrażenia określające typy – konstruktor typów
Współczesne języki imperatywne pozwalają programiście konstruować takie typy, jak np. tablice jedno- i wielowymiarowe, rekordy (struktury, unie), wskaźniki (referencje), funkcje (procedury, podprogramy) czy pakiety.
W implementacji kontrolera typów potrzebny jest więc konstruktor pozwalający na tworzenie na podstawie istniejących wyrażeń określających typ - nowych wyrażeń określających typ. Zestaw i postać konstruktorów typów zależy od języka źródłowego (choć czasami jest ograniczana lub rozszerzana w konkretnej implementacji).
