7 ms·
Take a look at https://contextgeneric.dev https://contextgeneric.dev, it's as close as one can get to solving this issue without modifying rustc.
by faresahmed 6mo ago
Take a look at https://contextgeneric.dev https://contextgeneric.dev, it's as close as one can get to solving this issue without modifying rustc.
- dev_l1x_be 6mo agoHighly Expressive Macros No thanks. Most of the time you do not need macros and adding those is not free. CGP enables you to write overlapping and orphan implementations of any trait, breaking free from Rust's coherence rules while maintaining type safety. I am not sure that I need this. I can't remember to run this issue in the last couple of years. Isn't it the case that coherence is what makes Rust’s dependency graph sound? So, why would I want to give up that?
- hmry 6mo ago> Isn't it the case that coherence is what makes Rust’s dependency graph sound? So, why would I want to give up that? Read the article that comment is on, it's all about why one would want that.
- dev_l1x_be 6mo agoI have read it. I see only theoretical reasons not really practical ones. Maybe I do not use Rust enough to run into issues with coherent Rust.