Idrall Talk At Idris Developers Meetup

I gave a talk about my Dhall implementation Idrall at the Idris Developers Meetup 2021. Big thanks to the organisers for the event, it was really fun! And shout out to Andre for helping me sort out this recording.

The talk is a brief intro to Dhall and why I’m using it, and a status update on how my implementation is going. So if that’s of interest to you, or you just want to see what I’ve been up to while stuck indoors for the pandemic, check it out!

And a correction: I mention the chez startup time being slow, but I think I was wrong and I mean the startup time of executing in the REPL. When compiling to a binary and running it, the startup time is super quick.

Here’s some links that I mention in the talk:

• The official Dhall website: https://dhall-lang.org/
• The official Idris website: https://www.idris-lang.org/
• My dhall implementation: https://github.com/alexhumphreys/idrall
• helo-world project for idris: https://github.com/alexhumphreys/hello-idris2