// , βIt is not so important to be serious as it is to be serious about the important things. The monkey wears an expression of seriousness... but the monkey is serious because he itches."(No/No)
// , Much of it has to do, I suspect, with a person's ability to think mathematically.
Back when programming was more the province of mathematicians, scientists, and government researchers, the field attracted more people with higher levels of ability in deductive reasoning. These would be the kind of people for whom books like "Proving Programs Correct" would have few surprises for them.
I suspect that the popularity of the other kinds of programming languages may be related to a shift in demographics. Even the phrase "programming language" lends itself to more procedural thinking about code, rather than the older view of programming languages as a kind of low-context notation.
I'm disappointed to see you use the term "critical mass," because it seems to imply that this is something that may change seriously through marketing or developer advocacy. "Raising awareness" and all that...
I think that fundamental demographic changes will not be overcome by marketing, at least not in a span of time less than a decade, because the constraints on those changes are much "stickier".
I'll add a couple of rays of hope in this, though. The first is that CryptoCurrency requires formal verification. The second is the dark storm coming for the world of computer and data security in the coming decades, which wash out systems which will rely on "best" practices rather than mathematical proofs.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
// , Much of it has to do, I suspect, with a person's ability to think mathematically.
Back when programming was more the province of mathematicians, scientists, and government researchers, the field attracted more people with higher levels of ability in deductive reasoning. These would be the kind of people for whom books like "Proving Programs Correct" would have few surprises for them.
I suspect that the popularity of the other kinds of programming languages may be related to a shift in demographics. Even the phrase "programming language" lends itself to more procedural thinking about code, rather than the older view of programming languages as a kind of low-context notation.
I'm disappointed to see you use the term "critical mass," because it seems to imply that this is something that may change seriously through marketing or developer advocacy. "Raising awareness" and all that...
I think that fundamental demographic changes will not be overcome by marketing, at least not in a span of time less than a decade, because the constraints on those changes are much "stickier".
I'll add a couple of rays of hope in this, though. The first is that CryptoCurrency requires formal verification. The second is the dark storm coming for the world of computer and data security in the coming decades, which wash out systems which will rely on "best" practices rather than mathematical proofs.