Edwin Brady: Podcast Interviews

Edwin Brady

edwin.brady

www.type-driven.org.uk

3 Followers

3 Interviews

Edwin Brady Edward Brady is a self-admitted "academic" computer scientist and the main designer of the Idris programming language. The language, whose name is an oblique reference to a British TV cartoon series, has a powerful type system. Professor Brady agrees that, rather like himself, his language is mostly academic.

Edwin Brady's Interviews

Adam Gordon Bell & Edwin Brady • 29 Jan 2018 • EN

Tech Talk: Idris, Proofs and Haskell with Edwin Brady

Tech Talks are in-depth technical discussions. 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 i

Steven Proctor & Edwin Brady • 07 Jun 2016 • EN

Edwin Brady

In this episode I talk with Edwin Brady. We talk Dependent Types and Idris. We cover his background of getting interested in dependent types, getting up and going with Idris, how to participate to drive Idris forward, and much more.

David Christiansen & Edwin Brady • 26 Sep 2014 • EN

Episode 2: Edwin Brady on Idris

In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional programming language with dependent types. This episode is very much about programming: we discuss the language Idris, its history, its implementation strategies, and plans for