🚀 go-pugleaf

W dniu czwartek, 30 stycznia 2020 00:01:59 UTC+1 użytkownik heby napisał:

> >>> 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ą.

W korutynach właśnie przecieka.

Jeżeli mam:

int c() {
  while(1) {
    yield(1);
    yield(2);
  }
}

to jaka będzie wartość wyrażenia c()?

> 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.

Mylisz "funkcje pure" z hermetyzacją.

> > 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ą.

Funkcji nie da "się zatrzymać", bo ona "się nie wykonuje".
Ona odwzorowuje wejście w wyjście,

> 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.

Może lepiej idź już spać.

> > 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.

Jeżeli "jadą", to mają przebieg sterowania.
Przebieg sterowania to jest właśnie "jechanie".
I ono jest czymś istotnym dla korutyny.

Tutaj masz, proszę, poczytaj sobie:
https://www.quora.com/What-is-functional-programming/answer/Panicz-Godek

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

Funkcja nie ma czegoś takiego jak "punkt wyjścia". Funkcja odwzorowuje dziedzinę w przeciwdziedzinę.

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

No ja wiem. Nie zaskakuje mnie to.
Pierdolić potrafi każdy. Ilustrować swoje tezy przykładami już niekoniecznie.

Kodu nie napiszesz, ale nie dlatego, że to "poniżej godności", tylko dlatego, że to, co do tej pory mówiłeś o korutynach, nie miało sensu.

Określenie, żeby "odpalać naprzemiennie tę samą korutynę" jest całkowitą bzdurą.

Naprzemiennie możesz odpalać dwie różne rzeczy, a nie "dwie te same rzeczy", bo "dwie te same rzeczy" to jest jedna i ta sama rzecz.