Partially-static data structures are a well-known technique for improving binding times.
However, they are often defined in an ad-hoc manner, without a unifying framework to ensure full use of the equations associated with each operation.
We present a foundational view of partially-static data structures as free extensions of algebras for suitable equational theories, i.e. the coproduct of an algebra and a free algebra in the category of algebras and their homomorphisms.
By precalculating these free extensions, we construct a high-level library of partially static data representations for common algebraic structures.
We demonstrate our library with common use-cases from the literature: string and list manipulation, linear algebra, and numerical simplification.
Conference DayWed 26 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00
|Partially-Static Data as Free Extension of Algebras|
Jeremy YallopUniversity of Cambridge, UK, Tamara von GlehnUniversity of Cambridge, Ohad KammarUniversity of OxfordLink to publication DOI Pre-print
|Relational Algebra by Way of AdjunctionsDistinguished Paper|
Jeremy GibbonsDepartment of Computer Science, University of Oxford, Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU), Ralf HinzeRadboud University Nijmegen, Nicolas WuUniversity of Bristol, UKDOI
|Strict and Lazy Semantics for Effects: Layering Monads and Comonads|
|What's the Difference? A Functional Pearl on Subtracting Bijections|