[tomca32]

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]

> have intentional design complexity?

yes, more like this (in special Rust, that deal with many challenges like system programming, safety, etc).