Nr 01 · Słownik · Teoria informatyki

polimorfizm parametryczny

Sposób, w którym funkcja działa jednolicie dla dowolnego typu parametryzującego, niezależnie od jego konkretnej postaci.

Karta hasła

Zobacz też

  • polimorfizm parametrycznytyp uniwersalny
  • polimorfizm parametrycznygeneryczność

Powiązane pojęcia · Języki i teoria typów

  • 01analiza przepływu danychStatyczne wyznaczanie faktów o wartościach i zmiennych w punktach programu przez propagację informacji po grafie przepływu sterowania.
  • 02blok podstawowyMaksymalny ciąg kolejnych instrukcji, do którego sterowanie wchodzi tylko na początku i opuszcza tylko na końcu, bez rozgałęzień wewnątrz.
  • 03graf przepływu sterowaniaCFG (control-flow graph)Graf skierowany, którego węzły to bloki podstawowe, a krawędzie reprezentują możliwe przejścia sterowania między nimi podczas wykonania.
  • 04alokacja rejestrówPrzydzielanie zmiennych programu do skończonej liczby rejestrów procesora, często modelowane jako kolorowanie grafu kolizji.
  • 05generacja koduKońcowa faza kompilatora tłumacząca reprezentację pośrednią na kod docelowy maszyny, wybierając instrukcje i przydzielając zasoby.
  • 06optymalizacja koduPrzekształcanie programu zachowujące jego semantykę, mające poprawić wydajność (szybkość, rozmiar, zużycie zasobów) wynikowego kodu.
Źródło: Cardelli, Wegner, On Understanding Types...cecha