21 ms·
I 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
by chriswarbo 11y ago
I 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.