podcast – Mostly Erlang

050 miniKanren With William Byrd

Listen Later

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

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
    • Erlang Factory Light Berlin
    • Lambda Days
    • Erlang Factory SF
    • Erlang User Conference
      • 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
          • ...more
          View all episodesView all episodes
          Download on the App Store
          podcast – Mostly ErlangBy Zachary Kessin
          • 5
          • 5
          • 5
          • 5
          • 5

          5

          11 ratings