Tweak LessMacrosMoreTypes blurb

This commit is contained in:
Nathan McCarty 2025-03-15 18:20:56 -04:00
parent a85bfdcd2a
commit d79c4b6f46

View file

@ -1,7 +1,7 @@
{
"desc": "Macros are annoying, but an unfortunate fact of life in many programming languages. Especially in languages with nominally \"strong\" type systems, like Rust, macros are quite frequently needed to work around the type system to avoid needless repetition when consuming an API, generate formulaic boilerplate that only exists to please the type system, or work around the lack of variadic functions for things like printf. Lets explore the ways we can use dependently typed constructs to eliminate the need for such macros.",
"desc": "Macros are annoying, but an unfortunate fact of life in many programming languages.</p><p>Especially in languages with nominally \"strong\" type systems, like Rust, macros are quite frequently needed to work around the type system to avoid needless repetition when consuming an API, generate formulaic boilerplate that only exists to please the type system, or work around the lack of variadic functions for things like printf. Lets explore the ways we can use dependently typed constructs to eliminate the need for such macros.",
"post-ids": [
5
],
"title": "Less Macros, More Types"
}
}