🚀 go-pugleaf

Dnia Sun, 6 Nov 2005 11:09:06 +0100, Michal Przybylek skrobie:
> "Sektor van Skijlen" <ethouris@pl.wp.spamu.lubie.nie.invalid> wrote:

> > > A Ty wiesz co to jest kontynuacja ?
> >
> > > Kontynuacja wyrazenia, to to, co zostalo do policzenia po
> > > policzeniu danego wyrazenia.
> >
> > Chyba sam nie rozumiesz definicji, którą sam napisałeś.

> Sektor, to Ty nie rozumiesz co ja pisze (pozatym, to nie jest definicja,
> tylko intuicyjne rozumienie,

Jeśli tak wygląda twoje "intuicyjne rozumienie", to ty intuicji nie posiadasz.

> bo pojecia kontynuacji nie da sie w ogolnosci zdefiniowac ;

To zdefiniuj w szczególności. W jakikolwiek sposób, który wyjaśnia po co ci to
i jak możesz z tego skorzystać.

> na tej samej zasadzie na jakiej nie da sie zdefiniowac w ogolnosci pojecia
> funkcji, choc da sie zdefiniowac pojecie funkcji np. w teorii mnogosci).

Zależy o jakiej funkcji mówimy. Bo istnieje wiele jej definicji; matematyczna
to tylko jedna z nich.

> Nie Sektor, nie bede dlaej tlumaczyl pojecia kontynuacji. Wez po prostu
> odpowiednia ksiazke. Ksiazka zrobi to lepiej. Dziwi mnie tylko, ze tak
> ochoczo krzyczales jak prosta jest implementacja pojecia, ktorego nawet nie
> posiadasz...

Skoro nie potrafisz wytłumaczyć w kilku słowach, czym jest kontynuacja, to
znaczy, że sam nie do końca rozumiesz to pojęcie. Jest tak, czy nie?

To, jakobym ja nie rozumiał pojęcia kontynuacji to jest tylko twoje stanowcze
stwierdzenie, dlatego to ja się raczej dziwię, czemu się dziwisz.

Nie potrafisz, to ja przytoczę definicję kontynuacji.

In computing, a continuation is a representation of an execution point (for
example, the instruction pointer and stack frame). Many languages have
constructs that allow a programmer to obtain a pointer to a continuation, and
then to resume execution using the pointer at a later point in time. This
technique has been used in functional programming, imperative programming, and
message passing programming.

Może być?

Ponieważ w Tcl-u mogę sobie interpretować kawałek tekstu zawsze, jeśli tylko
wiem, że jest to kod w Tcl-u, więc mogę sobie go interpretować metodą, jaka mi
się spodoba. W tym również taką metodą, która zachowa mi kontekst wykonania i
będzie umiała go później przywrócić.

I co z tego, że Lisp dostarcza możliwości zrobienia tego bez dodatkowego
wsparcia? C też dostarcza.

Poza tym ciekawą sprawą jest jeszcze to, że:

Continuations are the functional expression of the GOTO statement, and the
same caveats apply. While they are a sensible option in some special cases,
use of continuations can result in code that is difficult to follow. In fact,
the esoteric programming language Unlambda includes
call-to-current-continuation as one of its features solely because of its
resistance to understanding.

Podobnie zresztą pewnie jak z COME FROM.

> ps.

> (set! x y)

> to zapisanie na zmienna x wartosci z y.

Nie żartuj - poważnie?

I pewnie oczywiście odpalenie następnie (x n) nie ma tutaj nic to rzeczy
anyway?

-- 
//  _    ___         Michal "Sektor" Malecki <sektor(whirl)kis.p.lodz.pl>
\\ L_ |/ `|  /^\ ,()                         <ethourhs(O)wp.pl>
// \_ |\  \/ \_/ /\ C++ bez cholesterolu: http://www.intercon.pl/~sektor/cbx
"I am allergic to Java because programming in Java reminds me casting spells"