Datafun: A Functional Query Language

Strange Loop Conference · Talk · YouTube title: "Datafun: a functional query language" by Michael Arntzenius

Why it's here

HN recommends it as an approachable talk on a total functional generalization of Datalog, by the language's author.

What it covers

Michael Arntzenius's Strange Loop talk on Datafun, a functional query language that brings database-style querying into a general-purpose language. It discusses bridging database theory and programming languages.