From Whitespace to Idris with Edwin Brady

https://is1-ssl.mzstatic.com/image/thumb/Podcasts116/v4/90/bf/e9/90bfe928-e60b-d3ae-1a9b-d8675ebf6fb1/mza_2008178507985519125.jpg/600x600bb.jpg

Functional Futures

Serokell

12 episodes

6 days ago

Functional Futures is a podcast where we interview people that are building the future of functional programming. From compiler developers juggling parsers, lexers, and type theory to software developers working on industry-grade libraries and codebases, we have something for the taste of every FP enthusiast out there.

Science

RSS

All content for Functional Futures is the property of Serokell and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

Science

https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo400/20555440/20555440-1642688905359-d332d28b0f293.jpg

From Whitespace to Idris with Edwin Brady

Functional Futures

1 hour 7 minutes 42 seconds

3 years ago

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 about language creation and talked about the future plans of the Idris language.

This is an audio-only version of the interview. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=_prvbd0e_pI

FP merch that doesn't suck: https://shop.serokell.io/

Read highlights on Serokell Blog: https://serokell.io/blog/from-whitespace-to-idris

Follow on social media:

https://twitter.com/edwinbrady

https://twitter.com/serokell

Learn more about us:

https://serokell.io/

academy@serokell.io