3 ms·

An interview with the creator of Idris in the Code Podcast: https://soundcloud.com/podcastcode/edwin-brady-on-dependent-types-and-idris https://soundcloud.com/p

An interview with the creator of Idris in the Code Podcast: https://soundcloud.com/podcastcode/edwin-brady-on-dependent-types-and-idris https://soundcloud.com/podcastcode/edwin-brady-on-dependent-... Another cool feature of Idris is elaborator reflection https://www.youtube.com/watch?v=pqFgYCdiYz4 https://www.youtube.com/watch?v=pqFgYCdiYz4 which I believe has no direct Haskell analogue (template Haskell perhaps?)

tcopeland 9y ago
More generally if you like functional programming, the archives of the "Functional Geekery" podcast are a great resource: https://www.functionalgeekery.com/ https://www.functionalgeekery.com/ There's at least one episode that's devoted to Idris: https://www.functionalgeekery.com/episode-54-edwin-brady/ https://www.functionalgeekery.com/episode-54-edwin-brady/