Grzegorz Niemirowski wrote:
> A.L. <a...@z...com> napisał(a):
>> Chodzilo mi o sugestie oryginalnego pytacza jakoby poprawnosc programu
>> mozna bylo sprawdzic na etapie kompilacji, otrzymujac gwarancje ze
>> program nie naruszy pewnych ograniczen (pamiec itede) ktorych potem w
>> trakcie wykonywania sprawdzac nie trzeba.
>> Moje "nie da sie" dotyczylo takiego sprawdzania i posiadania takiej
>> pewnosci
>> A.L.
>
> Pan z Microsoftu ma dosyć dużą pewność:
> Before the code is run, the IL is compiled into native executable code.
> And, since this compilation happens by the managed execution environment
> (or, more correctly, by a runtime-aware compiler that knows how to
> target the managed execution environment), the managed execution
> environment can make guarantees about what the code is going to do.
[...]

Upraszczając - jeśli skompiluję nawet do kodu maszynowego program w
Brainfucku, to poza możliwości tej implementacji Brainfucka nie wyjdę
(choć będzie się de facto wykonywał program natywny). To nie znaczy, że
program nie "wyleci" np. na przekroczeniu tablicy, ale daje gwarancję,
że taka sytucja będzie wyłapana i właściwie (bezpiecznie dla systemu i
innych programów) obsłużona. "Poprawność" oznacza tu tylko "bezpieczne
dla innych zachowanie".

--
Paweł Kierski
n...@p...net