论文标题
数据流编程的单体流
Monoidal Streams for Dataflow Programming
论文作者
论文摘要
我们介绍了单体流：因果流函数的概括为单类别类别。就像流提供纯函数的数据流编程的语义的方式一样，单型流提供了语义为数据流编程提供的语义，并具有以对称性单体类别为代表的过程理论。同时，单流流形成反馈单类别，可用于解释信号流图。例如，我们研究一种随机数据流语言。
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.
