Performance Analysis of Zippers

08/28/2019
by   Vít Šefl, et al.
0

A zipper is a powerful technique of representing a purely functional data structure in a way that allows fast access to a specific element. It is often used in cases where the imperative data structures would use a mutable pointer. However, the efficiency of zippers as a replacement for mutable pointers is not sufficiently explored. We attempt to address this issue by comparing the performance of zippers and mutable pointers in two common scenarios and three different languages: C++, C#, and Haskell.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/29/2019

FunSeqSet: Towards a Purely Functional Data Structure for the Linearisation Case of Dynamic Trees Problem

Dynamic trees, originally described by Sleator and Tarjan, have been stu...
research
10/10/2018

Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems

Verification of algorithms and data structures utilized in modern autono...
research
11/28/2017

Faster range minimum queries

Range Minimum Query (RMQ) is an important building brick of many compres...
research
05/17/2018

Generic Deriving of Generic Traversals

Functional programmers have an established tradition of using traversals...
research
10/16/2019

Tree-Shape Grammars for Random Access

Shape grammars are well known in the graphics and design communities but...
research
03/28/2023

Amortized Analysis via Coinduction

Amortized analysis is a program cost analysis technique for data structu...
research
10/11/2021

Efficient Extensional Binary Tries

Lookup tables (finite maps) are a ubiquitous data structure. In pure fun...

Please sign up or login with your details

Forgot password? Click here to reset