hackertube.io

miniKanren - Dan Friedman and William Byrd

ClojureTV · talk · Watch on YouTube

Functional programmingProgramming language design

What it is

Dan Friedman and William Byrd demonstrate miniKanren, a logic programming system for Scheme, in an unconference talk. It includes generating programs by running relations in reverse.

Why Hacker News recommends it

HN recommends it as a mind-blowing and fun introduction to logic programming for working programmers.

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

What HN commenters said

  1. “The bits about generating programs using MiniKanren was truly mind blowing.”

    Talk on miniKanren including generating programs

    zalthor, 2013-02 · Strong recommendation · in “Explorations in Clojure's core.logic”

  2. “I highly recommend watching Dan Friedman and William Byrd give their miniKanren conference talk”

    Fun introduction to logic programming and miniKanren for lay programmers

    CamTin, 2018-09 · Strong recommendation · in “Reazon – miniKanren for Emacs”

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

Topics: minikanren, scheme, relational programming, program synthesis, clojure

Also recommended by the same people