Great interview, I was searching for some Idris after a mention of its "hole system" in Felienne Hermans' "The Programmer's brain". I can't seem to find the "Compiler to teach Compilers" project of Edwin Brady though, any pointers. :)
Great chat, thanks for this! > (w.r.t. package management) ...people are working on it. I think a lot of people swear by Nix for that sort of thing? Haha yes, I love that Nix is at least on Edwin's radar. I could imagine a future where one can write a `derivation` function describing inputs, outputs, metadata, etc right alongside their `main` function :) more than happy to settle with Nix for now though!
Great interview, I was searching for some Idris after a mention of its "hole system" in Felienne Hermans' "The Programmer's brain".
I can't seem to find the "Compiler to teach Compilers" project of Edwin Brady though, any pointers. :)
We'll try to hunt it down for you!
@@jonnmostovoy2406 Thanks a lot. :)
Great chat, thanks for this!
> (w.r.t. package management) ...people are working on it. I think a lot of people swear by Nix for that sort of thing?
Haha yes, I love that Nix is at least on Edwin's radar. I could imagine a future where one can write a `derivation` function describing inputs, outputs, metadata, etc right alongside their `main` function :) more than happy to settle with Nix for now though!
how to make code content-addressable? this seems really incompatible with LLVM's IR
Idris packages and build system should depend on Nix certainly.