Date: Thu, 9 Jul 2020 13:34:10 -0400
On Thu, Jul 9, 2020 at 3:11 AM Richard Hodges via Std-Discussion <
std-discussion_at_[hidden]> wrote:
> On Thu, 9 Jul 2020 at 08:23, Artur Czajkowski via Std-Discussion <
> std-discussion_at_[hidden]> wrote:
>
>> You (the committee) are destroying the C++ language.
>>
> For this reason, there is no fundamental driver for providing “customer
> service”.
>
I imagine that Microsoft might beg to differ.
I will flog my usual bête noir and agree that the committee is
destroying the C++ language because of their belief that C++
should have an "object model". The main function of the object
model is to allow compilers to disregard the intention of the
programmer so that the optimizationists can triumph by generating
code that is much more efficient at producing wrong results.
The only correct object model for C and C++ is "bags of bits". An
object is a region of memory and the type used to interpret it,
aligned to the requirements of the type. If the region contains
bits that correspond to a valid value of that type, then it contains
an object of that type.
std-discussion_at_[hidden]> wrote:
> On Thu, 9 Jul 2020 at 08:23, Artur Czajkowski via Std-Discussion <
> std-discussion_at_[hidden]> wrote:
>
>> You (the committee) are destroying the C++ language.
>>
> For this reason, there is no fundamental driver for providing “customer
> service”.
>
I imagine that Microsoft might beg to differ.
I will flog my usual bête noir and agree that the committee is
destroying the C++ language because of their belief that C++
should have an "object model". The main function of the object
model is to allow compilers to disregard the intention of the
programmer so that the optimizationists can triumph by generating
code that is much more efficient at producing wrong results.
The only correct object model for C and C++ is "bags of bits". An
object is a region of memory and the type used to interpret it,
aligned to the requirements of the type. If the region contains
bits that correspond to a valid value of that type, then it contains
an object of that type.
Received on 2020-07-09 12:37:37