#comonad

具有Comonad、可表示函子和依赖类型的元胞自动机
Cellular Automata with Comonads, Representable Functors, and Dependent Types(blog.cofree.coffee)
2020-10-19 13:52
在阅读了克里斯·彭纳(Chris Penner)在Conway‘s Game of Life Using Represable and Comonads上的博客文章后，我决定为一维自动机规则110实现一个类似的解决方案。作为一个如此简单的算法，我认为它的实现将是微不足道的。然而，事实证明，在Store Comonad......