A remarkable post introducing a GHC plugin that proves your programs obey laws:
miniblog.
Related Posts
A fun idea for a Ruby test runner: run all the tests, most relevant first, but never run for more than 1.8 seconds!
C# has an interesting concept of second-class macros called Source Generators: https://devblogs.microsoft.com/dotnet/introducing-c-source-generators/
You can generate additional code at build time, but you can't transform existing expressions (unlike normal macros), so it's more amenable to tooling.
@friend It seems like people find Zig comptime easier to reason about, hence the interest in introducing it to other languages.
That seems worth something. I still prefer Lisp/Clojure style macros over safer Scheme/Rust macros. Lisp macro implementations are closer to typical code.