Squid is a remarkable quasiquotation library that ensures all of your code transformations are sound! It checks for types and free variables, and has a really neat way of pattern-matching on code with alpha conversion.
miniblog.
Related Posts
An incredible 7 minute demo of APL, going from constructing an array to visualising Conway's Game Of Life, built incrementally without loops or temporary variables: https://www.youtube.com/watch?v=a9xAKttWgP4
What piece of syntax has the most different meanings?
I realised today that `as` is extremely overloaded. It can be used for aliasing imports (Python), type casts (Rust), binding pattern match variables (OCaml), type assertions (Hack) and probably many others.
Superb discussion of Go semantics for `for` loop variables, the challenges of breaking changes, and the tradeoffs of static analysis: