Pok-12-wyk-Slajd2
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Plan wykładu
W ramach wykładu omówione zostaną następujące zagadnienia:
- czym są zależności kontekstowe
- statyczne i dynamiczne sprawdzanie zależności kontekstowych
- co to jest system typów
- zarys implementacji przykładowego kontrolera typów
- rodzaje równoważności typów
