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.
Host: Andrey Salomatin flpvsk.com
Dark side: Michael Beschastnov
Guest: Edwin Brady twitter.com/edwinbrady
Links
- Type-Driven Development with Idris tinyurl.com/typedd
- Idris Tutorial docs.idris-lang.org/en/latest/tutor…#tutorial-index
- LightYear – Parser Combinator for Idris github.com/ziman/lightyear
- Quantities – Type-safe physical computations and unit conversions in Idris github.com/timjb/quantities
Music
Mid-Air! @mid_air