Scrap your Boilerplate
21 Mar
2003
21 Mar
'03
8:19 a.m.
Does the "zipper" fall into this category? http://haskell.org/wiki/wiki?TheZipper Markus
You might also find the 'cast' function in Section 3 of "Scrap your boilerplate" useful. http://research.microsoft.com/~simonpj/papers/hmap/ I'm not certain, but it has the right smell. Simon
21 Mar
21 Mar
12:01 p.m.
Does the "zipper" fall into this category?
The zipper is a type-indexed data type, not just a type-indexed function. See: R. Hinze, J. Jeuring and A Löh. Type-indexed data types. In Eerke A. Boiten and Bernhard Möller, editors, Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, pages 148 - 174, 2002, © Springer-Verlag. -- Johan
8561
Age (days ago)
8561
Last active (days ago)
1 comments
2 participants
participants (2)
-
Johan Jeuring -
Markus.Schnell＠infineon.com