ugly and/or useless features in the language.

[Ola Fosheim Grostad]

On Sunday, 23 May 2021 at 10:24:53 UTC, Ola Fosheim Grostad wrote:
> On Sunday, 23 May 2021 at 08:35:31 UTC, Tony wrote:
>> On Saturday, 15 May 2021 at 21:15:01 UTC, Ola Fosheim Grostad 
>> wrote:
>> Why is metaprogramming added features better than the same 
>> features added in the language? One is standard between 
>> entities, the other is not.
>
> There are many reasons, one important one is consistency and 
> being able to prove that the type system is sound/reasonable.
>
> Syntactic sugar is ok though, so adding syntax does not create 
> problems as long as what it expands to can be expressed 
> constuctively using exising language constructs.

As an example D has a focus on memory safety, but in order to 
prove that property you have to prove that all possible 
combinations of language constructs (all valid programs) retains 
memory satety as a propery. The more distinct features you have, 
the more difficult it get because you get more and more 
combinations.