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?
Or did you mean to say that oCaml, Rust, and Coq have intentional design complexity?
yes, more like this (in special Rust, that deal with many challenges like system programming, safety, etc).