а если сразу на FSM переходить?

это лучшее, что я видел в ДМР, да

А так в шарпах оно так и делается... a/a в конечный автомат компилится )))

https://www.youtube.com/watch?v=GEykpn6IgAA они делали об этом доклад

sub factorial {
    my $last = shift;
    my $f = Future->new->done(1);
    for my $i (2 .. $last) {
        $f = $f->then(sub { Future->new->done(shift->result * $i) });
    }
    return $f;
}

my $f = factorial(100)
say $f->get; # под капотом не крутит луп, т.к. все фьючи уже выполнены.

вот приблизительно как факториал вычисляется. Забудем про эффективность, конечно. Важно то, что сихронный код можно тоже  вполне норм. в асинк цепочку встроить, включая then/else ветки.

и довольно приятный интерфейс описания автомата, в отличие от всего, что попадалось на CPAN

sub factorial {
    my $last = shift;
    my $f = Future->new->done(1);
    for my $i (2 .. $last) {
        $f = $f->then(sub { Future->new->done(shift->result * $i) });
    }
    return $f;
}

my $f = factorial(100)
say $f->get; # под капотом не крутит луп, т.к. все фьючи уже выполнены.

Это вообще фича a/a из коробки должна быть

лично как мне, так с введением a/a теряется нагляность, в отличие от явного использования промисов (в перле). Но возможно это я такой старпёр )

wtf ДМР?

вон линк на ютуб, Деньги.Mail.Ru

Ну a/a в Перле я недостаточно щупал чтобы иметь свое мнение.

ага, посмотрю.

а так я предлагаю аполргетам a/a и прочего написать tcp на их технологии. что-то мне кажется это будет совершенно не отлаживаемый монстр.

ыыы

ты жесток

это не имеет отношения к a/a. Это проблема любого асинк-кода.

на fsm это приемлимо, хотя асинк во все поля

А зачем?

Я выше упомянул, что это можно написать, но кроме алгебры промисов придётся использовать ещё кучу вещей для ресурсобезопасности. В любом случае, на голом AnyEvent это вообще нереально сделать так, что бы это было понятно/отлаживаемо.

Ну а для нормальной композабельности, придётся всё-таки переходить на нормальные монадки IO/Stream (которые в сути своей - функциональные FSM), и мириться с тем, что в процессе их работы они делают кучу аллокаций. Т.е. выбор - либо производительность, промисы и страдания с отладкой и пониманием этого, либо чёткое понимание, но куча вещей в хипе.

Разве удобно гвозди забивать микроскопом?