There are problems outside of cognitive burden. More expressiveness actually leads to a higher error surface area.
The more power you have the more opportunities you also have to shoot yourself in the foot.
Removing mutability as a feature from a language also removes all mutable logic errors from a language. Removing null values from the language removes all null related runtime errors from a language.
The more power you have the more opportunities you also have to shoot yourself in the foot.
Removing mutability as a feature from a language also removes all mutable logic errors from a language. Removing null values from the language removes all null related runtime errors from a language.