遍历法则的研究
摘要：可遍历的数据结构在编程中随处可见。因此，能够描述可遍历的结构并了解其代数性质非常重要。McBride和Paterson通过赋予任意应用函子一个分配律来表征可遍历函子; 然而，缺少完全捕捉可遍历直觉的法则。本文试图通过提出用于表征可遍历的法则来解决这个问题。为了支持我们的观点，我们证明了有限容器按我们的定义是可遍历的，并且认为可遍历结构中的元素恰好被访问一次。
作者：Mauro Jaskelioff (Centro Internacional Franco Argentino de Ciencias de la Informaci''on y de Sistemas/Universidad Nacional de Rosario, Rosario, Argentina), Ondrej Rypacek (King's College, London, UK)
论文ID：1202.2919
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-02-15