We apologize, this episode got messed up, so here is a fixed version
Download Link:
audio mp3=âhttps://mostlyerlang.files.wordpress.com/2014/11/050_minikanran.mp3â³%5D%5B/audio%5D
Download Link: https://mostlyerlang.files.wordpress.com/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 ()
- Kevin Hammond ()
- Zachary Kessin ()
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
Looks like you uploaded the wrong file! Looks like a really interesting episode, keep up the good work (and err, pls upload the right file next time, I was pretty excited to hear this one : )
Hi Zach, I am afraid that you mixed up the Episodes, behind the link I have Episode 45 and not 50. By the way I am a regular listener of your podcast ;)
This mp3 has episode 45 (robotâs) at the start.