hackertube.io

"Datafun: a functional query language" by Michael Arntzenius

Strange Loop Conference · talk · Watch on YouTube

Databases & storageFunctional programmingProgramming language design

What it is

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.

Why Hacker News recommends it

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

  • 2 people recommended it
  • 2 different months
  • 0 strong recommendations
  • first 2018, last 2025

What HN commenters said

  1. “for me it seemed quite approachable :)”

    Approachable Strange Loop talk on Datafun

    a-saleh, 2018-05 · Recommendation · in “A relatively simple Datalog engine”

  2. “Also be sure to watch Datafun author Michael Arntzenius's Strangeloop talk.”

    Datafun author explains a total functional Datalog generalization

    fogzen, 2025-06 · Recommendation · in “Implementing Logic Programming”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: datafun, datalog, strange loop, programming languages, databases

Also recommended by the same people