The Usability of Advanced Type Systems: Rust as a Case Study · HackerPapers discussions

The Usability of Advanced Type Systems: Rust as a Case Study — mentioned by DylanSp

Tue, 28 Mar 2023 01:35:23 GMT

Interesting that this came up; I was reading https://arxiv.org/abs/2301.02308, on Rust's usability, earlier today. One of the interesting conclusions from that paper was that while Rust's error messages are generally high-quality, they can sometimes be too local, especially for helping get new Rust programmers used to the ownership model. Key quote: "rustc error messages not only describe the error in the code, but for certain error patterns, suggest edits that may fix the problem. However, these edits are always local and don’t provide any high-level design feedback which may be helpful in…

Paper and discussion history. A mention is not an endorsement.

The Usability of Advanced Type Systems: Rust as a Case Study — HN submission

Wed, 22 Feb 2023 02:27:16 GMT

The usability of advanced type systems: Rust as a case study

141 points; 162 discussion replies on HN. Paper and source history. A submission is not an endorsement.

The Usability of Advanced Type Systems: Rust as a Case Study — HN submission

Tue, 21 Feb 2023 11:27:25 GMT

The Usability of Advanced Type Systems: Rust as a Case Study

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

The Usability of Advanced Type Systems: Rust as a Case Study — HN submission

Mon, 09 Jan 2023 13:41:15 GMT

The Usability of Advanced Type Systems: Rust as a Case Study

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.