3 ms·
Notes on the Derivatives of Regular Types (2014)(FP) [pdf]
- gatane 2y agoA more theoretical read on the same topic: - Differentiating Data Structures (2005) http://www.strictlypositive.org/dfordata.pdf http://www.strictlypositive.org/dfordata.pdf - Performance analysis of Zippers (2020) https://arxiv.org/pdf/1908.10926 https://arxiv.org/pdf/1908.10926