HackerTube / Video
"Datafun: a functional query language" by Michael Arntzenius
Strange Loop Conference
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.
HN recommends it as an approachable talk on a total functional generalization of Datalog, by the language's author.
4 Hacker News mentions · 2018–2025