SW wykład 6 - Slajd13

<<powrót do strony wykładu

Parametry Semantyka procedur Semantyka procedur, c.d. Semantyka procedur bezparametrowych Przekazywanie przez zmienną Przekazywanie przez wartość Przekazywanie przez nazwę Wejście/wyjście Semantyka wejścia/wyjścia Semantyka wejścia/wyjścia, c.d. Semantyka wejścia/wyjścia, c.d. Programy Problem Nowe podejście Kontynuacje

Zauważmy jednak, że powyższa semantyka języka z instrukcjami wejścia/wyjścia może podlegać podobnej krytyce, z jaką odnieśliśmy się do możliwości prostego zastąpienia w semantyce instrukcji stanów (w starym sensie) parami złożonymi ze środowiska i składu (czy tez stanu w nowym sensie) --- patrz slajd 2 tego wykładu. Mianowicie, dziedzina znaczeń instrukcji dopuszcza wszelkie zmiany potoku wejściowego i wyjściowego. W szczególności, potencjalnie dopuszcza konstrukcje językowe, które coś na wejście wypisują, lub wyrzucają z wyjścia już wypisane tam liczby.

Nie wdając się w dyskusję, czy takie możliwości chcemy zachować, czy nie, spróbujmy dopasować dziedziny semantyczne tak, by je wykluczyć. Okazuje się, że prowadzi to do bardzo owocnej zmiany filozofii opisu znaczeń poszczególnych fraz języka.