Re: Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages

From	Derek <derek-nospam@shape-of-code.com>
Newsgroups	comp.compilers
Subject	Re: Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
Date	2024-06-11 22:45 +0100
Organization	Compilers Central
Message-ID	<24-06-014@comp.compilers> (permalink)
References	<24-06-003@comp.compilers> <24-06-005@comp.compilers> <24-06-011@comp.compilers>

Show all headers | View raw

John, Anton,

>> The other was that in the languages where it is
>> hard to write a valid program, how much more likely is it that the program
>> actually works once you get it to compile? -John]
>
> That is the promise of programming langauges that make it hard to get
> a program to compile: get it to compile, and it is usually correct.  I
> am not aware of any empirical evidence that supports this promise.

Requiring that variables are defined before use
decreases incorrectness (which is not a marketable term).

There is a tiny amount of evidence that strong typing may
be a benefit
https://shape-of-code.com/2014/08/27/evidence-for-the-benefits-of-strong-typing-where-is-it/

cost effectiveness of benefits is a question that
researchers avoid (it smacks of grubby usefulness).

If you are interested in evidence, check out
My book, Evidence-based Software Engineering, which
discusses what is currently known about software engineering,
based on an analysis of all the publicly available data
pdf+code+all data freely available here:
http://knosof.co.uk/ESEUR/

If you know of any interesting software engineering
data that I don't have, please tell me about it.

Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages John R Levine <johnl@taugh.com> - 2024-06-10 14:21 +0200
  Re: Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages Jon Chesterfield <jonathanchesterfield@gmail.com> - 2024-06-10 19:20 +0100
    Re: Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages Derek <derek-nospam@shape-of-code.com> - 2024-06-11 00:28 +0100
    Re: Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages anton@mips.complang.tuwien.ac.at - 2024-06-11 07:57 +0000
      Re: Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages Derek <derek-nospam@shape-of-code.com> - 2024-06-11 22:45 +0100
        Re: Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages anton@mips.complang.tuwien.ac.at - 2024-06-14 16:00 +0000
  Re: Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages Derek <derek-nospam@shape-of-code.com> - 2024-06-10 20:30 +0100
  Re: Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages Hans-Peter Diettrich <DrDiettrich1@netscape.net> - 2024-06-12 11:27 +0200

csiph-web