baseless_discourse, 8 months ago (edited 8 months ago) Yes, it was just discovered on this year’s POPL that rust’s type system is not sound with respect to deadlock freedom. dl.acm.org/doi/abs/10.1145/3571229 (of course this is not arguing that everyone should stay on C or CPP, just confirming the point that Rust will allow stupid things.
Yes, it was just discovered on this year’s POPL that rust’s type system is not sound with respect to deadlock freedom.
dl.acm.org/doi/abs/10.1145/3571229
(of course this is not arguing that everyone should stay on C or CPP, just confirming the point that Rust will allow stupid things.