Interesting and well written; if it were me, I might only change the ending a bit:
"Whereas, const […]. It is not nearly as useful as immutable data, because the problem it solves is easy, not hard."
To something like:
"const may be more useful than adding something like immutable data to an imperative language with mutability deep in its DNA might be because it helps with one of the hardest problems; long-term, correct re-reading by humans doing maintenance or extension."
But, the OP covers that well earlier in, so I'm not sure a third take on it would add much. Thanks for doing the exploration!
"Whereas, const […]. It is not nearly as useful as immutable data, because the problem it solves is easy, not hard."
To something like:
"const may be more useful than adding something like immutable data to an imperative language with mutability deep in its DNA might be because it helps with one of the hardest problems; long-term, correct re-reading by humans doing maintenance or extension."
But, the OP covers that well earlier in, so I'm not sure a third take on it would add much. Thanks for doing the exploration!