Jaki jest związek między funkcjami generatora i monad w JavaScript?

Question

entuzjastą rozwoju oprogramowania noted the following:

Aktualny status: kompulsywnie przepisanie wszystkich moich JS po dokonaniu intuicyjny połączenie między funkcjami generatora i listowe monady.

Czułem, że coś tam przeoczyłem. Moim rozwiązaniem piekła oddzwaniania było użycie czegoś takiego jak js-csp (tj. Kolejka).

Moje pytanie brzmi: Jakie jest połączenie między funkcjami generatora i monad w JavaScript?

Answer 1

Nie ma.

Podczas gdy funkcje generatora mogą wyglądać bardzo podobnie do zapisu monad (tj. do notacja), nie są one takie ogólne. Głównym problemem jest to, że generatory ES6 mają charakter stanowy i mogą być rozwijane tylko raz na kontynuację. Spróbuj wprowadzić monadę listy i zobacz, jak to się nie udaje.

Prawdziwe Ułatwienia Monad można osiągnąć za pomocą języka kompilacji to-JS, który obsługuje ich (jak LatteJs, monadic, PureScript lub LispyScript) lub sweet.js macros. Zwykle rezygnują z wywołań zwrotnych - tak jak w Haskell.

Answer 2

Nie, postrzegana intuicyjna natura jest słaba.

Kolejne wyliczenia zbiorów wyglądają jak zagnieżdżone kontynuacje, tak jak w monadach sekwencyjnie współbieżnych, ale każdy kolejny "efekt" w dowolnej monadzie wymaga , a nie wymagać powtórnej/nieokreślonej aplikacji.

Można zaimplementować instancję monady z generatorami, ale myślę, że to tak daleko, jak idzie związek (niekoniecznie intuicyjny); Monady wydają się dużo bardziej ogólne.

Termin zrozumienie monady wydaje się odnosić do rozumienia listy wykonawczej jako monady. Zobacz Comprehending Monads (wprowadzenie i część 2.2). Jednakże, powszechnie w rozwoju JS, "zrozumienie monady", wydaje się być używane zamiennie z "monadą".

I nigdy nie słyszałem o "wznowieniu" i nie mogę znaleźć definicji/podstawy dla tego.

Nie mam teraz dostępu do Twittera, ale może twój przyjaciel próbuje stworzyć bibliotekę leniwych lodashów/podkreślników/list-homomorfizmów?