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/

Contact us:

academy@serokell.io