Functional Collection Programming with Semi-Ring Dictionaries

Explore a groundbreaking approach to functional collection programming in this 20-minute conference talk from OOPSLA 2023. Delve into the concept of semi-ring dictionaries, a versatile class of compositional and purely functional collections that encompass sets, multisets, arrays, vectors, and matrices. Learn about SDQL, a statically typed language developed to express relational algebra with aggregations, linear algebra, and functional collections over various data types using semi-ring dictionaries. Discover how SDQL unifies a wide range of optimizations commonly used in databases and linear algebra, enabling efficient processing of hybrid workloads. Examine experimental results demonstrating SDQL's competitive performance against state-of-the-art systems in different domains, including in-memory database systems, linear algebra frameworks, sparse tensor compilers, and in-database machine learning engines.

[OOPSLA23] Functional collection programming with semi-ring dictionaries