Functional Geekery Episode 57 - Mark Seemann
In this episode I talk with Mark Seemann. We talk his introduction to functional programming and F#, common principles between functional programming and object oriented programming, Haskell, lessons learned, planting the seeds of functional programming, and much, much more.
Our Guest, Mark Seema…
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 strat…
From Whitespace to Idris with Edwin Brady
As part of our interview series, we interviewed Edwin Brady, the creator of Idris, a dependently-typed programming language.
In the interview, we discussed two of the programming languages Edwin has participated in the creation of: Whitespace and Idris. Edwin also shared some tips and tricks ab…
HPR3796: Dependent Types
I discuss dependent types, which are types that can contain non-type
programs. An example of a dependent type is a list whose type contains
its length. Instead of just writing List<String> for
a list that contains strings, dependent types include types like
List<String, 5> that describe…
38: Edwin Brady
Andres and Wouter interview Edwin Brady, most famous for his work on the Idris programming language. We talk about how he got interested in programming with dependent types, his thoughts on dependently typed programming in Haskell, and his vision for Idris.
FilkCast Episode 279, December 18, 2024
MusicPhoenyx - Cat And The Fiddle - Keepers Of The FlameLambda Miners - Blinky, Pinky, Inky And Clyde - Crime's Against Punctuation https://jtsteam.bandcamp.comPhil Mills - Walt Kelly - Every Season Passeshttps://philmills.bandcamp.comDiana Gallagher - Free Fall - Cosmic Concepts CompleteFilker Son…
Episode 6: Steven Nunez Talks Ruby and the BEAM
We explore Ruby's new actor model implementation, discuss where it shines, and where it can learn from the BEAM. It also includes guest cameo from our youngest listener.
Links
The Free Lunch is Over: http://www.gotw.ca/publications/concurrency-ddj.htm
CRC in Elixir: https://redrapids.medium.com/l…
SE Radio 296: Type-Driven Development with Edwin Brady
Edwin Brady speaks to Matthew Farwell about Type Driven Development and the Idris Programming language. The show covers: what a type is; static vs dynamic types in programming languages; dependent types; the Idris programming language; why Idris was created. Type safe printf modelling state in Idri…
FilkCast Episode 348, June 3, 2026
MusicFilker Song Swaphttps://filkersongswap.bandcamp.comThe Galleon Guy Covers Lastalda - Sharing Music - Cover To Cover Vol 3https://thegalleonguy.bandcamp.comBardic Gifts Covers Bryan Baker - Fishfingers And Custard - Cover To Cover Vol 3Steve Macdonald Covers The Galleon Guy - The Total TPK - Co…
Pegasus Awards 2026 Show 02
Best Performer
Tim Griffin - My HeartLeslie Hudson - She Followed Me HomeSunnie Larsen - Wreck Of The Martian ObserverThree of a Kind - Watchmaker HillVia Bella - Lets Not FightBest Writer/Composer
Edwin Brady - Half Way Around The SunNaomi Hinchen - Fight The SnaiIsBill Roper - Electric SkiesSheeg…
पॉडकास्ट खोज इंजन
आप लोगों, स्थानों या विषयों के आधार पर3,835,568पॉडकास्ट और197,437,658एपिसोड खोजने के लिए हमारी वेबसाइट का उपयोग कर सकते हैं।
ज्ञान में निवेश सबसे अच्छा लाभ देता है, इसलिए मैं पॉडकास्ट सुनता हूँ।
‐ Benjamin "Llamacorn" Franklin
संपादित करें
पॉडकास्ट डेटाबेस को अपडेटेड रखने में मदद के लिए धन्यवाद।
