29 Jul
2011
29 Jul
'11
5:34 p.m.
Hi, On Jul 29, 2011, at 10:15 PM, Conal Elliott wrote:
Is there a collection of laws associated with the Foldable class? Or for Traversable? - Conal
if you are not aware of "The essence of the Iterator pattern" by Jeremy Gibbons and Bruno Oliveira (http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.136.850&rep=rep1&type=pdf) it might be interesting. Especially chapter 5 discusses some laws of traversable instances. Cheers, Jan