The essence of dataflow programming Export

@article{citeulike:329457, abstract = {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 streams based) computation.}, author = {Uustalu, Tarmo and Vene, Varmo}, citeulike-article-id = {329457}, citeulike-linkout-0 = {http://cs.ioc.ee/~tarmo/papers/essence.pdf}, citeulike-linkout-1 = {http://cs.ioc.ee/~tarmo/papers/cefp05.pdf}, keywords = {comonads, dataflow}, posted-at = {2006-08-09 18:18:58}, priority = {2}, title = {The essence of dataflow programming}, url = {http://cs.ioc.ee/~tarmo/papers/essence.pdf} }

TY - JOUR ID - citeulike:329457 L3 - citeulike-article-id:329457 N2 - 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 streams based) computation. TI - The essence of dataflow programming KW - comonads KW - dataflow AU - Uustalu, Tarmo AU - Vene, Varmo UR - http://cs.ioc.ee/~tarmo/papers/essence.pdf ER -