Talk:Zipper monad
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Here's where I'd like to go with this:
TODO
- Generalise! I'm making good progress on writing a more general lib to cover any traversable data structure. UPDATE done in version 1 DavidHouse 18:55, 19 April 2006 (UTC)
- Better error reporting. UPDATE done in version 1 DavidHouse 18:55, 19 April 2006 (UTC)
- Name changes:
- Change it to the 'Traversal monad' (as you shouldn't have to use the zipper for location). UPDATE decided not to. DavidHouse 18:55, 19 April 2006 (UTC)
- Change left and right to move from a right branch to its corresponding left one and vice versa: this fits in better with the BTree lib. UPDATE decided not to: left and right are more natural, and we can still have a swap combinator to switch branches. DavidHouse 18:55, 19 April 2006 (UTC)