Zippers - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Fintan Halpenny

Does anyone have good materials on Zippers? I'm aware of the high-level view, but curious about their interfaces and how they're coded up

TheMatten

I found this performance review interesting: https://arxiv.org/abs/1908.10926

Fintan Halpenny

Heh, that should be interesting. I'm essentially prototyping the denotation in Haskell, but I'm actually going to be implementing this in Rust.

TheMatten

In Rust, one would probably use a reference, right?

Fintan Halpenny

I guess ya, but at the moment I want to think about it in terms of algebras and all that good stuff without mutation or pointers and all that messy stuff.