论文标题
增强检查旋转流的表达性（扩展版）
Enhancing expressivity of checked corecursive streams (extended version)
论文作者
论文摘要
我们提出了一种新颖的方法来进行流的定义和操纵。我们的解决方案是基于两个关键想法。通过允许在流构建器以外的其他操作员来定义流的方程中，可以增强常规的CORECURSION，以避免通过检测循环调用来避免非终止。这样，某些非规范流是可以定义的。此外，执行包括一个运行时检查，以确保函数调用生成的流定义明确，从某种意义上说，对任意索引的访问始终会成功。我们将技术扩展到了先前工作中考虑的简单流算子之外，特别是通过添加具有非平凡递归方案的交织组合器。
We propose a novel approach to stream definition and manipulation. Our solution is based on two key ideas. Regular corecursion, which avoids non termination by detecting cyclic calls, is enhanced, by allowing in equations defining streams other operators besides the stream constructor. In this way, some non-regular streams are definable. Furthermore, execution includes a runtime check to ensure that the stream generated by a function call is well-defined, in the sense that access to an arbitrary index always succeeds. We extend the technique beyond the simple stream operators considered in previous work, notably by adding an interleaving combinator which has a non-trivial recursion scheme.
