61 min listen
Tech Talk: Idris, Proofs and Haskell with Edwin Brady
Tech Talk: Idris, Proofs and Haskell with Edwin Brady
ratings:
Length:
59 minutes
Released:
Jan 29, 2018
Format:
Podcast episode
Description
Edwin Brady is the creator of the Idris programming language and Author of the book Type-Driven Development with Idris and a computer science lecturer. The book, the language and Edwin himself all seem to be chock full of ideas for improving the way computer programming is done, by applying ideas from programming language theory. In this interview, we discuss dependent types, type holes, interactive and type-driven development, theorem provers, Curry–Howard correspondence, dependant haskell, total functional programming, British vs American spelling and much more. Links: The Book Idris Lectures at OPLSS Idris Language Site
Released:
Jan 29, 2018
Format:
Podcast episode
Titles in the series (91)
Erlang And Distributed Systems with Steven Proctor: Today's interview is with Steven Proctor, the host of the functional geekery podcast. We talk about distributed programming in general and specifically how erlang supports distributed computing. We also talk about things he's learned about... by CoRecursive: Coding Stories