DigiNews

Summary

Evolving Languages Faster with Type Tailoring argues that type systems can be taught domain knowledge via metaprogramming to tailor types after macro expansion. It describes essential features, showcases a practical library (trivial) that tailors Typed Racket for regex and other structures, and surveys real-world tailorings in Rust, Julia, and Elixir.