🚀 go-pugleaf

Marcin 'Qrczak' Kowalczyk wrote:

>>Czy obejmowałaby też etykiety (gdybyś je miał)?
> 
> Nie mogę więc powiedzieć, co by było przy goto, bo ono jest
> niekompatybilne z moim modelem.

Chodziło mi o break. Albo - bardziej ogólnie - o widoczność etykiet w 
zagnieżdżonej funkcji lokalnej. To też ciekawy temat, bo prowokuje 
pytanie, czym jest etykieta i czym się różni od identyfikatora obiektu. 
Tak naprawdę jedno i drugie jest nazwą jakiegoś bytu w programie. 
Pozwalasz na to, żeby funkcja lokalna widziała nazwy obiektów 
zdefiniowanych w tym zakresie, gdzie ta funkcja jest stworzona. Co z 
innymi identyfikatorami? Co z etykietami? Nie chodzi o goto - to jest 
bardziej ogólny temat. Np. wyobrażam sobie język imperatywny z semantyką 
transakcji (commit/rollback), gdzie etykiety mogą służyć do określenia 
miejsc w kodzie, gdzie można np. wycofać różne operacje. Co z takimi 
etykietami? Czy powinny być widoczne w funkcjach lokalnych (jeśli język 
je wspiera)?

Moje zdanie jest takie, że funkcje lokalne nie powinny widzieć *niczego* 
z ich zewnętrznego zakresu (ale można wykorzystać ich parametry do 
przekazania im jakiejś wartości albo referencji) - po prostu nie 
potrafię powiedzieć, gdzie miałbym się z tym zatrzymać.


>>>Musi być coś zamiast finally, żeby język był praktyczny.
>>
>>Oczywiście, tylko że ja na to patrzę odwrotnie (i historycznie chyba
>>mam rację): to właśnie finally jest "czymś zamiast". Z takimi
>>efektami, jak wspomniałeś.
> 
> Co uznajesz za podstawową konstrukcję tego rodzaju?

Obiekty lokalne z destruktorami. Funkcje lokalne (albo anonimowe klasy 
albo jedno i drugie razem) mogą tu bardzo pomóc przy definiowaniu akcji 
ad-hoc.

C++, Ada - te języki mają obiekty lokalne z destruktorami i bardzo mi 
dzięki temu pasują. Niestety nie mają funkcji lokalnych. W C++ może coś 
się w tym temacie zmieni, Ada nie ma na to szans.


> RAII w C++ ma ten sam problem, co wołanie zawsze metody Dispose:
> zmusza do opisania zasobu albo stanu klasą z konstruktorami
> i destruktorem.

Owszem. Funkcje lokalne by się tu przydały.


-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/