3 ms·
Great! Please implement them in Rust as soon as possible. But until then, Rust's approach is runtime bounds checking.
by acconsta 11y ago
Great! Please implement them in Rust as soon as possible.
But until then, Rust's approach is runtime bounds checking.
- chriswarbo 11y agoI don't know about Rust, I've never used it (and I rarely use C). However, I do use dependently typed languages every day, so I was replying to refute the "that's the only way to do it" argument.
- acconsta 11y agoFor... building software? I thought dependent types haven't escaped research languages.