The Usability of Advanced Type Systems: Rust as a Case Study | Hacker News Reader