3 ms·

I’m curious about the example of unintentional complexity and type system lies in Rust? Or did you mean to say that oCaml, Rust, and Coq have intentional desig

I’m curious about the example of unintentional complexity and type system lies in Rust? Or did you mean to say that oCaml, Rust, and Coq have intentional design complexity?

mamcx 5y ago
> have intentional design complexity? yes, more like this (in special Rust, that deal with many challenges like system programming, safety, etc).