zipper
费用高吗?在什么情况下使用拉链是合理的?
我可以提供一个可靠的数据点:约翰·迪亚斯和我 paper in the 2005 ML Workshop 为什么? zipper可以用在优化编译器中,实际上有一点性能 .