Oℕ
буфер и стратения поведения при переполнении?
Size: a a a
2018 March 04
NG
Так, произведение морфизмов в категории сообщений - это не компоновка сообщений. Это означает, что сервис принимает на вход и то и другое
Oℕ
Так, произведение морфизмов в категории сообщений - это не компоновка сообщений. Это означает, что сервис принимает на вход и то и другое
так
Oℕ
у тебя есть сервисы
a -> b и a -> cOℕ
их декартово (не тензорное ) произведение - морфизм
a -> (b , c)Oℕ
как он работает?
Oℕ
если результат - это прямо компоновка двух сообщений
Oℕ
тогда нужно их компоновать
Oℕ
если у тебя своё произведение как комбинация inlet ов /outlet ов
Oℕ
тогда нужно правильно подумать, какое произведение ты хочешь
Oℕ
семантика реактивных стримов описывается моноидальными категориями
Oℕ
вроде близкая тема
Oℕ
там по сути линейная логика
Oℕ
т.е есть два разных произведения и две разных суммы
NG
Если нарисовать, получается, что нет никакого произведения a ушло в 2 сервиса. Один породил b, другой c, общего ничего.
Oℕ
Если нарисовать, получается, что нет никакого произведения a ушло в 2 сервиса. Один породил b, другой c, общего ничего.
Это значит, что тебе потребуется более сложный объект, чем "сообщение"
Oℕ
Например "кортеж типов сообщений, которые сервис можеи получать или отдавать"
Oℕ
кортежи легко умножать
NG
Формально, да, (b, c) - кортеж и умножение тут работает. Но для такого кортежа и произведения едва ли можно найти практический смысл. То есть произведение - морфизм, представлющий оба сервиса и порождающий оба сообщения.
Oℕ
Формально, да, (b, c) - кортеж и умножение тут работает. Но для такого кортежа и произведения едва ли можно найти практический смысл. То есть произведение - морфизм, представлющий оба сервиса и порождающий оба сообщения.
очень даже легко находится смысл во всех формальных системах стримов/сервисов