Pytania i odpowiedzi dotyczące zadania domowego II (semantyka denotacyjna)
Treść zadania tego nie specyfikuje, więc można dowolnie. Jednak wydaje się, że wykorzystanie kontynuacji prowadzi tu do ładniejszego i łatwiejszego rozwiązania.
Patrz treść zadania: "Przyjmujemy statyczne wiązanie globalnych
zmiennych..." Z tego wynika, ze wywołanie procedury z parametrem
akturalnym x jest możliwe tylko w granicach statycznej
widoczności x.
UWAGA: nieco inaczej jest dla identyfikatorów procedur...
Jak w odpowiedzi na poprzednie pytanie, rozstrzyga tu treść zadania: "Przyjmujemy statyczne wiązanie globalnych zmiennych..." Znaczenie i konsekwencje tego stwierdzenia dla semantyki powinny być uwzględnione w rozwiązaniu zadania zgodnie z omówieniem tego pojęcia (statycznego wiązania zmiennych) na wykładzie.