> dardowych, obecnych zmiennych i ich znaczenia). czyli programując w
> języku wysokiego poziomu nie tworzysz programu zgodnego z zamysłem,
> lecz jedynie podpadającego pod zamysł, o ile nie popełnisz
> pomyłki w użyciu statyczności używanego języka programowa- nia.

Bezydura.

Jeśli program napiszesz "zamyślając" go pod kompilator, a nie myśląc o
maszynie (komputerze), to z tego punktu widzenia program jest zgodny z twoim
zamysłem.
Jest to szczególnie wyraźne na przykład w przypadku języka Java: faktyczna
maszyna może być dowolna, nawet nieznana programiście. Programista
"zamyślał" program w Javie, a nie dla konkretnej maszyny.
Ponadto, dzisiejsze procesory mają w środku jeszcze mniejsze 'trybiki'
wykonujące egzotyczny dla programisty kod, a zestaw instrukcji stosowany na
zewnątrz procesora podlega wewnętrznej translacji.
Nie ma więc aż takich różnic między językiem wysokiego a niskiego poziomu
jeśli chodzi o "tworzenie z zamysłem", zwłaszcza że języki niskiego poziomu
są co prawda nisko, ale nadal na pewnym podeście, i to wyższym niż się
wydaje.


--
Azarien