Using Idris' C FFI to do compile time type generation! https://docs.idris-lang.org/en/latest/guides/type-providers-ffi.html
(Lovely clear example.)
miniblog.
Related Posts
https://build.rs/ is a handy Rust pattern for compile-time code generation. E.g. https://rust-lang-nursery.github.io/rust-bindgen/tutorial-3.html
It's a small standalone program that prints lines of Rust code! It reminds me of much more dynamic languages.
Scala LMS is really neat: it's rare to see a code generation tool with common subexpression elimination included!
Code Generation Is a Design Smell: http://t.co/DRTZmzzpGo -- interesting perspectives.