News for hackers. Stuff that matters.

A comment on Dada, an Experiement by the Creators of Rust. Parent comment

Re:Dada, an Experiement by the Creators of Rust by Narishma on Wednesday March 06, 2024 @10:26AM (#39616940)
> If the type system complains of an issue in other code after a local change, doesn't that mean that the other code indeed needs updating

The problem is when it doesn't complain but instead infers some different type that happens to match.

[ Parent | on HN ]

There are no comments on this comment yet.