We introduce monoidal streams: a generalization of causal stream functions to monoidal categories. In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with theories of processes represented by a symmetric monoidal category. At the same time, monoidal streams form a feedback monoidal category, which can be used to interpret signal flow graphs. As an example, we study a stochastic dataflow language.
翻译:我们引入单潮流: 将因果流函数的概括化为单潮流类别。 同样, 流为数据流编程提供纯功能的语义, 单潮流也为数据流编程提供语义。 同时, 单潮流形成反馈单潮流类别, 可用于解释信号流图。 例如, 我们研究一种随机数据流语言 。