HugeDomains.com
Blog Projects Research About Me Feed Hi, I'm Lukas Atkinson. My irregularly published long form blog posts cover topics such as software development, testing and quality assurance, programming language concepts, data protection, and whatever I currently find interesting.
A couple of days ago, Steve Klabnik published an article discussing Rust's Golden Rule , arguing that Rust's function signatures provide a clear contract that doesn't depend on the function's contents, which aids reasoning about the code. In particular, function signatures are never inferred.
However, the Rust language has evolved so that it violates this Golden Rule. While impl Trait return types by themselves are fine, they combine with auto-traits such as Send in an unfortunate manner. This is a noticeable limitation when it comes to writing async Rust code.
HugeDomains.com