用于数据流编程的幺半流
计算机科学中的逻辑
2022-02-07 v1 编程语言
范畴论
摘要
我们引入幺半流：将因果流函数推广至幺半范畴。正如流为纯函数数据流编程提供语义，幺半流为以对称幺半范畴表示的进程理论之数据流编程提供语义。同时，幺半流构成一个反馈幺半范畴，可用于解释信号流图。作为一个例子，我们研究一种随机数据流语言。
引用
@article{arxiv.2202.02061,
title = {Monoidal Streams for Dataflow Programming},
author = {Elena Di Lavore and Giovanni de Felice and Mario Román},
journal= {arXiv preprint arXiv:2202.02061},
year = {2022}
}
备注
Draft, 36 pages