Right. But monospacedness is not a requirement for programming fonts. So I often promote proportional fonts for programming because they are better IMO. I mean that variable width allows fonts more potential to be good at what I want from fonts, not that every proportional font of better.
Ideally, texture healing would distribute the resizing over the whole word, so it would look better and be used in more cases. But that is not possible with OpenType fonts as far as I know.
Commit Mono has smart kerning, which is similar, but it only shifts, not morphs, the shapes. So it avoids that the same letter looks differently in different places. It also works on triplets, not just pairs, so it is more widely applicable. See this comparison.
I Like Input Sans for programming. iA Writer Quattro is similar to that. Now, I use for programming Recursive, a variable font with variable monospacedness among others. It has a configurator where all axes and features can be fixed for better compatibility.
I prefer original Comic Sans. How Comic Mono has all characters forced to the same width makes it uglier and less readable, especially capital letters.
My faculty (of computer science) has the most knowledge of typography and the loosest requirements on typography of all faculties of the University.