🚀 go-pugleaf

Maciej Sobczak <no.spam@no.spam.com> writes:

> Przerywanie pętli jest wtedy częścią "gramatyki" tej pętli, podobnie
> jak obecnie samo 'break' - to tylko nadzbiór tej koncepcji.

Ta gramatyka w brutalny sposób sięga do wnętrza ciała pętli, tak samo
jak goto.

Niektórzy (Knuth?) proponowali pętlę z wieloma punktami wyjścia,
niekoniecznie na początku i na końcu. One były zawsze na "wierzchu"
ciała pętli, wykonywane tylko w zależności od warunku logicznego.
Semantyka takiej pętli nie sięga do wnętrza innych instrukcji,
traktuje je jako czarne skrzynki. To jest najczystsza semantycznie
wersja przerywania pętli.

Jeśli pozwolić na przerywanie pętli również z głębszego wnętrza
ciała pętli, to albo robimy to przez wzbogacenie semantyki wybranych
konstrukcji (if, case, pętle, try) o możliwość wyskakiwania z nich
(być może połączoną z wołaniem destruktorów i wykonywaniem
try...finally) albo załatwiamy sprawę kompleksowo: używamy już
istniejącego mechanizmu wyjątków.

Drugie rozwiązanie ma tę zaletę, że są tylko dwa możliwe zakończenia
obliczenia wyrażenia czy wykonania instrukcji: przez zwrócenie wyniku
albo rzucenie wyjątku. Wszystkie konstrukcje obudowujące kod do
wykonania są przygotowane na te dwie możliwości i to wystarczy.
Nie trzeba się zastanawiać, co powinno się stać, kiedy ten kod
w środku zechce zrobić goto, break czy return na zewnątrz.

> Schowanie czegoś w funkcji (nie mówię o lambdach, tylko o nazwanych
> funkcjach) powoduje taki problem, że można tą funkcję wykorzystać
> z innego kontekstu, gdzie może nie być żadnej pętli do przerwania.

Lokalnej funkcji ani funkcji nieeksportowanej z modułu nie użyjesz
w innym miejscu, jeśli ten moduł jej jawnie nie udostępni jakimiś
innymi kanałami.

Jak mówiłem, przerwanie pętli moim sposobem wymaga dostępu do
wartości, którą uzyskuje się w miejscu, do którego sterowanie dochodzi
po przerwaniu (na zewnątrz pętli). Nie można "bezkontekstowo" napisać
instrukcji, która przerwie całkiem nieznaną jej pętlę. Nie ma więc
mowy o użyciu takiej funkcji przez pomyłkę. Jeśli ona w ogóle nie jest
lokalna (zdefiniowana wewnątrz całej pętli albo będąca ową pętlą),
tylko dostępna z zewnątrz, to jej interfejs musi uwzględniać
przekazanie informacji, którą pętlę przerwać.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/