Currently, the internal IPs of my computers do not depend on which ISP I am connected to.
Actually IPv6 interfaces can, nay MUST, allow multiple address assignments. So in an all IPv6 world, each of your computers will have an ISP-dependent (publically routable) address, as you say. But, they will each ALSO have a locally assigned, non-routable ("site-local") address that you can use as an unchanging address on your LAN.
Plus, with IPv6 router solicitation/advertisement and/or DHCPv6, even the case of updating machines with new ISP-dependent addresses is not the onerous task you make it out to be.
Using MSE ISP can no longer simply shape based on protocol. Bittorrent uses a random port which makes shaping based on port equally ineffective.
Unfortunately, ISP's have other options for shaping. Bittorrent traffic is quite distinctive and is detectable to a fairly high degree of accuracy just by analyzing the traffic pattern. Encrypting the packets does not (and cannot) obscure the traffic pattern.
I find it really difficult to correlate expressiveness and verbosity in any simple way.
The original question asked was: Why is verbosity bad? My answer was to define verbosity as the inverse of expressiveness, with the implicit assumption that greater expressiveness is better. I think that you intuitively also make this assumption when you speak positively of the "compactness" (expressiveness?) of shell scripts when applied to suitable tasks.
Let's say you are given two scripts that accomplish exactly the same task. One script has 10 LOC, and the other has 100 LOC (ignoring all comments, whitespace, etc). Which script would you say is more verbose? And which would you say is more expressive?
For a given task, one language is more expressive than another language if the former takes fewer LOC to accomplish the task than the latter. If we take LOC to be a reasonable approximation for verbosity, then verbosity and expressiveness have an inverse relationship.
I don't know Objective-C, but since C is just a few steps up from assembler, I can accept that Objective-C is probably more expressive than C, since nearly every language is. Thus, I cannot agree with you that Objective-C is more verbose than C. You and I must be using different definitions of "verbosity".
Verbosity = ( 1 / Expressiveness )
... that means binary compatibility must stop being broken from OS update to OS update.
It's simply the arrogance of Linux developers that have crippled Linux adoption.
IMHO, this is the biggest barrier that keeps commercial development out of Linux. Basically, the Linux philosophy assumes that all applications are open source, so it doesn't matter if the ABI changes with every point release of the kernel, since the distros can just recompile all their binaries when packaging. This philosophy is incompatible with the commercial software method of distributing apps as binary blobs.
Real programs don't eat cache.