🚀 go-pugleaf

On 29/01/2020 23:05, Maciek Godek wrote:
>> Się stan może pomieszać między korutynami.
> Pokaż przykład.

static int a = 1;
a = 2;

Ku naszemu zaskoczeniu a będzie równe 2.

>> Dwie identyczne korutyny przeplatające się w jednym flow będa się zakłócać.
> Podaj przykład.

Ten powyżje powinien wystarczyć.

>> Dwie identyczne korutyny nie przeplatajace się, ale będące w różnych
>> wątkach będa się zakłucać.
> Semantyka korutyn w różnych wątkach nie jest nawet dobrze określona.

Jest określona dokłądnie tak samo jak zwykłych funkcji. Pod warunkeim że 
to korutyny a nie jump oriented programming.

> Nie wiadomo, jak się powinno zachowywać.

Dokładnie wiadomo. Tak samo jak funkcje/procedury.

>>> Korutyna nie jest "pure function".
>> Nie ma przeszkód aby była. 
> Jest zasadnicza. Korutyna ma swój stan wewnętrzny, który z definicji jest mutowalny.

Może sobie mieć. Istotne jest że stan ten nie przecieka nigdzie poza nią.

Tak samo pure funkcja może mieć sobie w środku mutowalne "int a".

I sobie mutuje.

I nie przecieka poza tą funkcję.

Własnie odkryłeś że funkcje pure mogą mieć mutowalne, prywatne zmienne w 
środku i dalej być pure.

> A czysta funkcja robi tylko jedno: odwzorowuje wejście w wyjście. Zawsze dla tego samego wejścia ma dać to samo wyjście. Nie ma stanu wewnętrznego.

Ależ ma. Na ten przykład :

foo() {
int a = 1;
a = 2
return a;
}

Jeśli zatrzymasz ja w połowie to ma stan wewnętrzny. Ale on nie jest 
widoczny poza tą funkcją, nie jest dostępny również w korutynie poza nią.

Bycie pure to nie jest nie posiadanie kompletnie żadnego stanu. To jest 
nie ingerowanie w stan poza tą funkcją. W C/C++ do tego używa się 
zazwyczaj stosu.

> I to jest dość kolosalna przeszkoda.
>>> Czyste funkcje w ogóle nie mają czegoś takiego, jak "przebieg sterowania".

To zabawne, bo moje korutyny też nie mają. Robią yield() i z ich puktu 
widzenia nic się nie stało, jadą dalej. yield() to takie puste wywołanie 
która nic ciekawego nie robi z ich puktu widzenia.

>> No i wychodzi na to że nie czaisz bazy. Moja *funkcja* jest pure. Twoja
>> nie. Obie są korutynami.
> Korutyna to nie jest funkcja. Tutaj masz definicję, proszę:
> https://pl.wikipedia.org/wiki/Funkcja

Korutyna zachowuje się jak funkcja z wieloma punktami wyjścia i 
hermetycznym stanem pomiędzy.

Natomaist jeśli chcesz sprowadzić dyskusję do poziomu upierdlowego 
profesora to trudno. Sedno tkwi nawet nie w tym czy korutyna to funkcja 
czy nie. Sedno jest w tym że masz gównianą impelemntację na którą nawet 
w głupiej wikipedii wylali wiado pomyj bo tylko tyle można o niej 
powiedzieć.

>> Och, puśc tą samą korutynę 2x w jednym flow, na przemian.
> Nie wiem o czym mówisz. Napisz kawałek kodu, to będę wiedział.
> Problem jest taki, że określenie "ta sama korutyna puszczona 2x w jednym flow" nie jest jednoznaczna, bo nie wiem, co masz na myśli mówiąc "ta sama korutyna". Kawałek kodu wszystko wyjaśni.

Napisz w swoim kodzie flow w którym ta sama korutyna pracuje na przemian 
na dwóch róznych danych wejściowych.

I odpal ją naprzemiennie.

I wiesz co, postanowiłem że kodu nie napiszę. To poniżej godności żeby 
udowaniać komuś rzeczy oczywiste.