Datafun - A Functional Query Language

Explore the innovative Datafun language in this conference talk that examines the intersection of database query languages and general-purpose programming languages. Delve into the core concept of simplifying data manipulation by bridging the gap between these two domains. Discover how Datafun addresses common programming challenges such as data arrangement, storage, and efficiency. Learn about the potential of dissolving the barriers between database theory and programming language theory through strategic design choices. Examine how purity and totality in functional languages enable the application of database query optimizations. Investigate the connections between materialized view maintenance, Datalog's seminaive evaluation, and incremental computation. Gain insights into the research of Michael Arntzenius from the University of Birmingham, focusing on programming language theory, design, and implementation. Uncover the potential for simplicity and innovation in language design as you explore the ideas presented in this thought-provoking Strange Loop Conference presentation.

"Datafun: a functional query language" by Michael Arntzenius