Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Datafun - A Functional Query Language

Strange Loop Conference via YouTube

Overview

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.

Syllabus

"Datafun: a functional query language" by Michael Arntzenius

Taught by

Strange Loop Conference

Reviews

Start your review of Datafun - A Functional Query Language

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.