[nem-pl] z cyklu oglądamy i krytykujemy

[Michal Moskal]

On Thu, Nov 06, 2003 at 09:26:14PM +0100, Michal Moskal wrote:
> On Thu, Nov 06, 2003 at 05:25:44PM +0100, olszta at tey.pl wrote:
> > 3) straznik dla bloku wykonywalnego:
> > 
> > guard { [warunek]; [warunek]; ... }
> [...]
> > 4) straznik dla zmiennej:
> > 
> > guarded [nazwa zmiennej] : [typ]
> > {
> >   [warunek]; [warunek]; ...
> > }
> [...]
> 
> Czym one się różnią? Zauważ, że guard {} ma tylko sens na wartościach,
> które są mutable. Nawet jeśli mutable jest głębiej, to IMHO zysk z tego
> guarda będzie średni. guarded mają przynajmniej jasną semantykę (kiedy
> się odpalają).

Blah... gorzej:

>> To sa niezmienniki na poziomie calego bloku, podobnie jak require,
>> ale sprawdzane po kazdej instrukcji w bloku, 

Co to jest ,,instrukcja w bloku''? Po każdym średniku czy jak?

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: When in doubt, use brute force. -- Ken Thompson : {E-,w}-- {b++,e}>+++ h