What would a minimal subset of D look like?

[XavierAP]

On Saturday, 22 June 2019 at 10:22:10 UTC, Ola Fosheim Grøstad 
wrote:
>
> For instance, I am not convinced that features that enable the 
> Rust borrow checker has to be part of the language.  But I 
> haven't given that a lot of thought.  It seems like it could be 
> done with as library types, with annotations, and an external 
> static analysis pass.

https://dlang.org/phobos/std_typecons.html#Unique

> Similarily, there is no need for unittests to be a language 
> feature in D. You can achieve the same with annotations and an 
> external pass.

I honestly think unittest is the best idea ever...
___
I understand people frustrated with the GC, and in retrospect we 
all agree everything in the runtime should have been, or should 
be made, buy-in. But I don't understand the benefit of isolating 
out of the language and re-implement as libraries what is already 
isolated and buy-in in the language.

And if I wanted that, I wouldn't start by stripping down D. I'd 
start by extending C. We could call it C with Templates, later 
rename it to C<<>>... and ten years later we could be debating 
again improvement proposals to implement multiple inheritance. :p