hi, http://www.ppig.org/papers/18th-blackwell.pdf
if i skimmed + parsed the paper correctly, it seems like the message is: this is how people talk about programming, and thus we should make our programming systems support those forms of thinking. but i have an alternate hypothesis: given how bad people claim software ends up being, perhaps the paper is showing us what forms of thinking re: programming to avoid. which would then lead to the question of what thinking should be used instead? vaguely like the issue between s1/intuition vs. s2/formal thinking. (i don't mean to say that there is something wrong with supporting different mental models. but i wonder which mental models are right/wrong for a given programming issue.) thanks for any thoughts.
