I guess C++ template metaprogramming is the 9th level of hell then?
This Tweet was deleted by the Tweet author. Learn more
Conversation
This Tweet was deleted by the Tweet author. Learn more
Rust macros are definitely a thing
1
5
The macro system is powerful and necessary. Rust generics are closer to templates but not overpowered and prone to abuse like C++
1
1
They're not really anything like templates. They work with syntax trees and are part of the parser. The comparison to make is with C macros, although they aren't like those legacy macros at all but rather more sophisticated and sane Lisp-style macros for making specialized DSLs.
1
1
The comparison for templates is with generics, which are implemented in a similar way but they require type class (trait) bounds specified for everything that's used, rather than expanding and pattern matching. There's not template meta-programming in the same sense as C++.
There are also procedural macros (compiler plugins), which are usable for some pretty cool things:
github.com/sfackler/rust-
docs.rs/regex/0.1.46/r
The standard library's type-checked format! macro is implemented as one of those:
doc.rust-lang.org/std/macro.form
1
This Tweet was deleted by the Tweet author. Learn more
Show replies