many exciting programming language features are essentially just the kind of hacky macros you find in fun C codebases, but presented with a more saccharine syntax and a compelling story that makes them sound elegant and academic. they are an expressive art in themselves: a way of conveying the worldview of the language designer. some of these artistic achievements are quite limited in actual use. but what's important is they reshape the mind of the user