I apologise for the pompous title; I wrote it just for fun. If this “demystifies” anything, I’ll consider that a coincidence. Of the SOLID principles, the most pompous-sounding is the one named for a person: Barbara Liskov. I don’t label her pompous – I never knew her – but of those five principles, only LSP has a common formulation that looks like the kind of mathematics so many programmers like to avoid, while others flock to. Let q(x) be a property provable about objects x of t...
