Notes on the Derivatives of Regular Types (2014)(FP) [pdf] (bcl.hamilton.ie) 4 points by gatane 1y ago ↗ HN
[–] gatane 1y ago ↗ A more theoretical read on the same topic:- Differentiating Data Structures (2005) http://www.strictlypositive.org/dfordata.pdf- Performance analysis of Zippers (2020) https://arxiv.org/pdf/1908.10926
1 comment
[ 44.1 ms ] story [ 84.2 ms ] thread- Differentiating Data Structures (2005) http://www.strictlypositive.org/dfordata.pdf
- Performance analysis of Zippers (2020) https://arxiv.org/pdf/1908.10926