ща дима не разберется и назовет залупой

бля, чуть-чуть не успел

Ограниченная и замкнутая

я просто к тому что это же ппц невозможно

ручками писать ппц

нет, но я не выношу суждений

Эх, сча бы понять

Академиков позвали на ужин и они дерутся из-за столовых приборов

Вместо того чтобы попросить еще один комплект

Встречи понва так же проходят?

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

swap
(a , b) -> (b, a)

assocL
(a, (b, c)) -> ((a, b), c)

id
a -> a

product

(a -> b) , (c -> d)    => ((a, c) -> (b, d))

что волга делает - ты ей пишешь похожий на императивный код, а она сама тебе клеит граф переходов, вставляя нужное количество
assocL, assocR, id, swap и product

ущерб читаемости, и не в ботлнеке (сам таким иногда страдаю)

соответственно, есть у тебя функция "покушать"

вот это

На споке норм. Надо просто не джаву юзать для этого.

она берёт две вилки - и отдаёт две вилки


fork ---      --- fork
        \   /
         eat  
        /   \
fork ---             --- fork


на волге такая операция так и будет выглядеть
eat(forkA, forkB)
а если вручную писать, нужно нахуевертить руками очень много

в особенности если у тебя граф вроде

fork ---   a--[f]--b---    ---fork
        \/             \/
        /\             /\
a    ---a  fork--\     /   ----- b
                 [eat]
          fork--/     \
fork -----/             ------fork

вроде операции всего две - f и eat