Tops Tool Objectivity Challenge

I challenge anybody to name a study that proves a given TuringComplete programming-related tool, technique, or language is objectively better then another, overall (not just for a specific measurement), that does not involve WetWare components, such as psychology. If it does involve psychology, it must be shown that it's universal to nearly all human minds (at least anybody capable of programming). --top

Define "better".

I suggest we shift this partly to the reader/user in that "we" supply the results of various metrics, but let the reader assign weights to the metrics as they wish. Somewhere on this wiki there is a rocket analogy where one rocket customer may weigh fuel costs higher than rocket reliability. It's not our job to assign a weight to fuel costs versus reliability. The rocket (tool) customer will decide that. We just supply the metrics and the results, such as percent of rocket failures. -t

RocketAnalogyProblem


Well, read "structured programming" notes and articles from decades ago. The author presents tons of evidence for why jumping around in code with GOTO's causes programs to be objectively more difficult to reason about, whereas structured controls like WHILE loops are objectively easier to reason about. Did you even read the evidence? You realize that you have to actually read papers by the experts before shouting "there is no evidence anywhere!". This wiki contains informal rambling and you often have to read the evidence elsewhere. When we offer you reasoning, logic, or evidence, usually you yell BookStop or you say that objective evidence is flawed anyway because it's all related to psychology or that EverythingIsRelative so the evidence doesn't matter anyway because it can relate to people differently.

True or false: it makes assumptions about the steps a human mind would typically take while reading code?

I challenge anyone to find objective evidence that numbers are useful in math. Who has done a study to prove numbers are useful in math? I bet you won't find any objective evidence for numbers. Give me SCIENCE. Beat me with SCIENCE and logic. If you can't, then we should avoid using numbers entirely.

I asked for "better than", not "useful". Different topic.

I've worked with a couple of "goto" programmers (due to language versions being used). Their productivity seemed average, including maintenance. I don't know how they reasoned about goto's in their head. But it appeared that they were just so familiar with goto's that they knew how to read and code them effectively and efficiently, at least as far as working with other goto programmers. Perhaps they developed goto patterns and goto conventions that simply became easily recognized after decades of use. Who knows. The "Harmful" author appeared to ignore this all. There's no evidence he studied the psychology or thought process of goto programmers, tried to document goto patterns, etc. It was a poorly-researched amateurish rant: the kind I'd make 15 years ago. -t


See also: ObjectiveEvidenceAgainstGotos, HowCanSomethingBeSuperGreatWithoutProducingExternalEvidence


MarchTwelve


EditText of this page (last edited March 7, 2012) or FindPage with title or text search