From the perspective of "language designers influencing programmers", the difficulty of auto-completing to `let mut` could be seen as something positive.
Re:Dave Herman’s contributions to Rust
by BiteCode_dev on Monday May 03, 2021 @06:45AM
(#27023487)
A good IDE will let you type "mu", and autocomplete with "let mu", cycling on tab will give you more options.
I think of it as being more math like rather than PhD.
Nothing wrong with borrowing from math.