Talk:Zipper monad
Here's where I'd like to go with this:
[edit]
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)