3 ms·It's unfortunate that this is the only takeaway of the article for you.by sagacity 2y agoIt's unfortunate that this is the only takeaway of the article for you.deleted 2y ago[deleted]voidfunc 2y ago[flagged]skavi 2y agoWell sure they matter, but “yaoioum” wasn’t really the main point of the post. It was more of a threat; “add refinement types to Rust, or yoric will continue building poorly named static analyzers.”