We apologize, this episode got messed up, so here is a fixed version

Download Link:

audio mp3=”https://mostlyerlang.wordpress.com/wp-content/uploads/2014/11/050_minikanran.mp3″%5D%5B/audio%5D

Download Link: https://mostlyerlang.wordpress.com/wp-content/uploads/2014/11/050_minikanran.mp3

A programming language that doesn’t change the way you think about programming isn’t worth learning — Alan Kay

MiniKanren is a relational programming language that has been used for both research and in industry. Find out how it was created and how it can be used to to do useful work in your programs.

Panel

William Byrd (@webyrd)
Robert Virding (@rvirding)
Kevin Hammond (@khstandrews)
Zachary Kessin (@zkessin)

Confrences

Links

The Reasoned Schemer
miniKanren
core.logic
ExKanren
ErlKanren
erlog
7 More Languages in 7 Weeks
Prolog Episode of Mostly Erlang
Curry-Howard Isomerism
The Type Theory Podcast
Will’s PhD Dissertation

Language Picks

Language with Come From & While Don’t (Kevin)
Concurrency and Parallelism (Robert)
Forth & Factor (Will)
Term Re-writing Systems (Will)
PLT-Redex
http://r-project.org R (Zach)
awk

#29: Sexual Fantasies, Inadequacy, Self Acceptance