The Essence of Dataflow Programming
The Essence of Dataflow Programming
复制标题
数据流编程的本质
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Varmo Vene
中科院分区：
文献类型：
--
作者：
Tarmo Uustalu;Varmo Vene
我们提出了一种新的数据流(基于流)计算的共生方法。这是基于这样的观察，即一般流函数和因果流函数都可以被描述为comonad的coKleisli箭头，并且直觉地认为comonad通常必须是构建上下文相关计算的良好手段。特别是，我们开发了一个通用的上下文相关计算语言的共生解释器，并为基于流的计算实例化了它。我们还讨论了Monad上的Comonad的分布规律，作为构建有效和上下文相关计算的组合的一种手段。我们将后者应用于分析时钟数据流(基于部分流)的计算。
We propose a novel, comonadic approach to dataflow (stream-based) computation. This is based on the observation that both general and causal stream functions can be characterized as coKleisli arrows of comonads and on the intuition that comonads in general must be a good means to structure context-dependent computation. In particular, we develop a generic comonadic interpreter of languages for context-dependent computation and instantiate it for stream-based computation. We also discuss distributive laws of a comonad over a monad as a means to structure combinations of effectful and context-dependent computation. We apply the latter to analyse clocked dataflow (partial stream based) computation.