We apologize, this episode got messed up, so here is a fixed version
https://mostlyerlang.wordpress.com/wp-content/uploads/2014/11/050_minikanren.mp3
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
Erlang Factory Light BerlinLambda DaysErlang Factory SFErlang User ConferenceLinks
The Reasoned SchemerminiKanrencore.logic ExKanrenErlKanrenerlog7 More Languages in 7 WeeksProlog Episode of Mostly ErlangCurry-Howard IsomerismThe Type Theory PodcastWill’s PhD DissertationLanguage Picks
Language with Come From & While Don’t (Kevin)Concurrency and Parallelism (Robert)Forth & Factor (Will)Term Re-writing Systems (Will)PLT-Redexhttp://r-project.org R (Zach)awk