053 Elixir Tools and Testing for Erlang

Download Link: https://mostlyerlang.files.wordpress.com/2015/01/053_tools.mp3

050 miniKanren With William Byrd

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.


  • William Byrd (@webyrd)
  • Robert Virding ()
  • Kevin Hammond ()
  • Zachary Kessin ()
  • 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

045 Robots

Download Link: https://mostlyerlang.files.wordpress.com/2014/10/045_robots.mp3

You can build Robots with Erlang!

The Encyclopedia Galactica defines a robot as a mechanical apparatus designed to do the work of a man. The marketing division of the Sirius Cybernetics Corporation defines a robot as “Your Plastic Pal Who’s Fun to Be With.”

Ok, maybe not that kind of robots, but it Is true that robots often involve several concurrent tasks, including operating machinery, ensuring safety of people in the area, monitoring sensors. Erlang provides a very good way to manage that.

WE talk about what is and is not a robot along with what robots can and can’t do. Fred Wishes for a robot to plow his driveway when its 40bellow in Quebec


  • Zachary Kessin
  • Kevin Hammond
  • Fred Hebert
  • Josh Adams



Tools on Elixir

We are joined by Bruce Tate and Jose Valim to talk about the tools that have been developing around Elixir and how they can help the rest of the Erlang eco system.

This is the first of a series of episodes that will explore that wider Erlang eco system including Elixir, LFE, Erlog, LING, LuvieScript, Concurrent Scheme and more


Download Link https://mostlyerlang.files.wordpress.com/2014/08/043_elixir_tools.mp3


  • Zachary Kessin
  • Jose Valim
  • Bruce Tate


019 Elixir With José Valim

Download Link: http://mostlyerlang.files.wordpress.com/2013/10/mostly-erlang-19-elixir.mp3


Elixir Sips

Elixir is a new language created by José Valim to run on the Erlang runtime. It provides a ruby like syntax and extensive metaprogramming functionality to developers. Elixir stands to bring countless new developers into the Erlang ecosystem.

In addition to José we are joined by the creators of erlang Joe Armstrong, Rob Virding as well as Authors Simon St. Laurent and Fred Hebert.


  • Bryan Hunter ()
  • Jose Valim ()
  • Simon St. Laurent ()
  • Robert Virding ()
  • Joe Armstrong ()
  • Fred Hebert ()
  • Eric Merit ()



007 Community

Our Sponsor: Product Structure


Show Links