discourse.haskell.org

Rust-style Attribute Macro in Haskell, using GHC 10 Modifiers Extension

As a long-time Haskeller writing Rust in production, I always miss the powerful Template Haskell macros - Rust’s macro system is rather ad-hoc and weaker than Haskell (it fails to handle hygienity properly, and, crucially, lacks reification mechanism at all!). But there has always been one thing that I miss one Rust macro mechanism in Haskell: attribute macros. They are so powerful when combined with their (macro-based) deriving mechanism, as one can use it to control the deriving strategy in ...