Bonus Episode: Edwin Brady on Dependent Types And Idris

Code Podcast

• Episode: Bonus Episode: Edwin Brady on Dependent Types And Idris
• Website: Code Podcast
• Feed URL: http://feeds.soundcloud.com/users/soundcloud:users:201515747/sounds.rss
• Duration: 00:51:58
• Published: 2017-03-02 19:29

An unabridged version of the interview with Edwin Brady, the creator of Idris. Talking about the language itself, the concept of Dependent Types and the future of Type Systems. Code Podcast Forum: https://discuss.codepodcast.com/t/episode-5-type-systems/22 Episode produced by: Andrey Salomatin twitter.com/flpvsk Michael Beschastnov michael@codepodcast.com Guest: Edwin Brady twitter.com/edwinbrady ## Links Type-Driven Development with Idris https://tinyurl.com/typedd Idris Tutorial http://docs.idris-lang.org/en/latest/tutorial/index.html#tutorial-index LightYear – Parser Combinator for Idris https://github.com/ziman/lightyear Quantities – Type-safe physical computations and unit conversions in Idris https://github.com/timjb/quantities ## Music Mid-Air! @mid_air