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.
