标签： haskell functional-programming agda xmonad zipper
我目前正在寻找Huet's Zipper``在野外＆＃39;＆＃39;的实现。
到目前为止，我发现：
agda compiler（如果我错了，请更正我）使用拉链作为按需拨打评估的消除器，填写信息。
XMonad中使用了另一个实例来保持track of the focused workspace and the focused window on each workspace
还有其他方法可以实现//拉链的其他实现吗？