Jacek Czerwinski wrote:

> Pobiezna mysl jeszcze nie obudzonego mozgu: w jezyku z dynamicznymi
> deklaracjami nie dysponujesz taka wiedza na etapie analizy
> syntaktycznej, zostaje tylko wykonanie. W jezyku z obowiazkowymi
> deklaracjami mozna (chyba) na etapie parsowania.

Moim zdaniem jak najbardziej da się to zrobić na etapie analizy drzewa, przecież
interpreter musi przetrzymywać tablicę symboli dokładnie w taki sposób, w jaki
robi to kompilator.

Na etapie tworzenia AST, napotykając := patrzymy na lewo i po przetworzeniu
deklaracji funkcji f dodajemy ją do tablicy symboli, jednocześnie zapamiętując,
że x i y to nazwy atrybutów funkcji f. Potem przetwarzamy prawą stronę i
jednoznacznie możemy stwierdzić czym jest każda nazwa. Po wyjściu z :=
zostawiamy w tablicy symboli deklarację f, wyrzucając niepotrzebne x i y.
--
Mateusz Ludwin mateuszl [at] gmail [dot] com