Pok-12-wyk-Slajd21
Kontroler typów – język
Na przykładzie prostego języka programowania koncepcyjnie zbliżonego do Pascala zademonstrowane zostaną zasady implementacji kontrolera typów. Zostanie on opisany z wykorzystaniem akcji semantycznych wiązanych z produkcjami gramatyki.
Każdy poprawny program w tym języku składa się z co najmniej jednej deklaracji i – być może pustego – ciągu instrukcji.
Każda deklaracja składa się z identyfikatora, znaku ':', typu identyfikatora i jest zakończona znakiem ';'. Wszystkie zadeklarowane zmienne są globalne.
Dopuszczalnymi typami są: znaki (char ), liczby całkowite (integer ), tablice (dla uproszczenia zakładamy, że w deklaracji podajemy tylko liczbę elementów, dolny indeks ma zawsze wartość 1) oraz wskaźniki.
Zbiór instrukcji języka obejmuje: instrukcję przypisania, instrukcję warunkową oraz pętlę z testowaniem warunku przed wykonaniem ciała pętli.
W języku można korzystać z wyrażeń, które mogą być: literałem (stała znakową), liczbą całkowitą, identyfikatorem, parą wyrażeń połączonych operatorem dzielenia modulo, odwołaniem do tablicy albo użyciem wskaźnika.
