Их можно складывать и перемножать. 🙂

IO хорошо композится)

Да!

Вообще одинаковая штука хорошо композится

Не объясняет называние, складывать и перемножать можно пожалуй все что угодно +)

Все эти эффекты о том, как сделать одинаковый тип из многих разных

Нет, не всё – в этом и проблема.

Ну и плюс само слово "алгебра" как бы не только сложение и перемножение. Так что этимологию не раскрывает

Ну, ОК в статически типизированных языках не всё можно складывать и перемножать.

ну ладно, зайдём с другой стороны..

1. было исходное сообщение, вида show your work.
2. было сообщение-рефлексия, указывающее на то, что исходное сообщение осталось без внимания.
3. было сообщение вопросительного характера, предусматривающее разъяснение смысла алгебраических эффектов.
4. было сообщение кларификационного характера, подкрепляемое ссылкой.
5. было сообщение вопросительного характера, расширяющее исходный вопрос из 3.
6. было сообщение кларификационного характера, отвечающее на сообщение 5.
7. было сообщение кларификационного характера, не подтвержденное аргументами.
8.было сообщение кларификационного характера, не подтвержденное аргументами.
9. было сообщение вопросительного вопроса, относительно 7.
10. было сообщение кларификационного характера, не подтвержденное аргументами, в ответ на 9.

получается, что, да, с такой стороны обесценивания не было. ну я известный выдумщик 😊и мне вечно кажется всякое

слово алгебра не как предмет, а как математическая структура

"Алгебраический эффект" тут при чем? )

Это тип эффект, для которого можно ввести операции сложения и умножения, отвечающие законам

Скорее всего я ошибаюсь, но A+B — тут есть эффект A или эффект B, и A*B есть эффект A и эффект B

При этом для них выполняются законы дистрибутивности, коммутативности и т.п.

Типа A*(B+C) = A*B + A*C, соотвественно так будет работать интепретатор

Из-за этого бывают проблемы, например нельзя выразить local-эффект, т.к. для него A*B /= B*A

И тоже самое исключение эффект исключения будет propagated во все другие

Зачем это нужно вопрос хороший; например для с этими штуками удобно делать fine-grained эффекты и по разному их объединять, при этом не фиксируя список поддерживаемых эффектов без необходимости

Но это всё неточно, к сожалению системы эффектов и фреймворки оказались слишком сложными для меня и в реальной жизни поиспользовать их мне не удалось