Idris 2 is self-hosting, faster, compiles to Chez Scheme, and has a bunch of PL design lessons! https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html
Related Posts
@krinkle A surprising number of PL design workarounds are "just add another equals sign" 🙃
I've been experimenting with an 'evaluate up to cursor' mode for my PL project.
I love evaluating self-contained snippets in Lisp, this generalises the idea.
The interpreter remembers the arguments when you run tests, then can re-use them when you say 'eval up to here'.
What do you think?
Spent a bunch of time learning about text diffing algorithms this evening.
"Myers Algorithm" refers to a specific paper written by Eugene Myers, and he published faster algorithms later!
https://github.com/Wilfred/difftastic/wiki/LCS-Algorithms