Talk:Zipper monad

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)