Oℕ
нужно понимать, что (b, c) кортеж типов, но он не соответствует кортежу сообщений
Size: a a a
2018 March 04
Oℕ
относительно сообщений это даже формальро ближе к сумме
NG
Я до сих пор не вводил понятия типа. Только сообщение.
Oℕ
(a, b, c) -> (d, e) означает, что сервис/стрим в любой момент готов принять любой из типов сообщений a, b или c и иногда генерирует сообщения типа d, а иногда e
Oℕ
Я до сих пор не вводил понятия типа. Только сообщение.
твой объект соответствует единичному сообщению?
Oℕ
не типу всех подобных сообщений?
NG
Типу всех подобных сообщений
Oℕ
тогда, введя "объект" ты сопоставил его с называй это как хочешь, тип, множество, интерфейс,
NG
А что есть реактивный стрим?
Oℕ
А что есть реактивный стрим?
Ну давайте заменим на "процесс"
https://en.m.wikipedia.org/wiki/Process_calculus
https://en.m.wikipedia.org/wiki/Process_calculus
Oℕ
нечто, куда хорошо вписывается ваше описание микросервисов
NG
Понял, спасибо
Oℕ
NK
AG
поведенческие типы и линейная логика да
NG
Спасибо за материалы
2018 March 05
NI
аааа хотя мне же не непрерывность в точке нужно, а просто предел, т.е можно только образом обойтись, т.е. это просто лимит образа окрестностей как лимит фильтра
https://math.stackexchange.com/questions/60590/category-theoretic-limit-related-to-topological-limit/62800#62800
И уши пучков (sheaves) там торчат ;-)
#link
И уши пучков (sheaves) там торчат ;-)
#link
2018 March 06
Oℕ
А что есть самого сахарного, обезжиренного, чтобы ворваться в kan extensions?
Oℕ
(хачкель не предлагать)