Manual memory management is accidental complexity unless very strict memory usage rules are part of the specification. Some kinds of type systems similarly lea

Manual memory management is accidental complexity unless very strict memory usage rules are part of the specification. Some kinds of type systems similarly lead to accidental complexity, for example in the form of repetitive code because the type system makes sufficient abstraction impossible. It's possible for some kinds of requirements to mandate very concrete types with no room for abstraction in some parts of a program, but even then the compiler can do most of the work with making sufficiently abstract code concrete and performant.