Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
I wouldn't say this is a meaningful comparison. The nim strategy is the same as Rust's (see: https://github.com/rust-lang/rust/blob/8e5a27766ff14af36448a4b4c0a8bff84090168f/src/librustc_builtin_macros/format.rs …). The blog post is showing how a format safety property can be captured without macros.
That said, I agree that the trait-encoding is gnarly. I think there are ways to make these kinds of programs easier to write, in terms of distance from mental model to code. See:https://github.com/willcrichton/tyrade …
But doesn't the rust built-in have access to type information that rust users do not have? With static intro any user of the language can run the type checker on an arbitrary expression at compile time.
Oh I see -- you're right, Rust doesn't give user-space macros access to type information. I've wanted this for a while though (see: https://willcrichton.net/notes/type-directed-metaprogramming-in-rust/ …).
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
