News for hackers. Stuff that matters.

A comment on The struggle with Rust. Parent comment

Re:The struggle with Rust by AstralStorm on Wednesday January 25, 2017 @03:39AM (#13479783)
Or better extend the language to allow making code partially safe in many ways. This would make the wrappers much better.

Make it easy to reason about useful kinds of partial safety. Make it easier to define properties of external systems that Rust does not control.

[ Parent | on HN ]
Re:The struggle with Rust by pcwalton on Wednesday January 25, 2017 @04:26AM (#13479992)
Can you elaborate this into a concrete proposal?
[ Parent | on HN ]