Could D be used by Jonathan Blow rather jai language?

[Ola Fosheim Grøstad]

On Friday, 20 November 2020 at 15:53:42 UTC, Bruce Carneal wrote:
> Constraints are key.  The question is when they are applied and 
> by whom.  Does the language designer choose the constraints 
> ahead of time or does the programmer opt-in/out of full 
> capability at need?

The challenge is that opt-in/out is a source of serious bugs. 
Also very difficult to prove that the overall system is sound if 
you have many options that you can turn on/off.

Another problem is that even if you can make it work for single 
threaded it might break down when you add concurrency, for 
instance, you can create a parallel high level language that 
provably cannot deadlock. With low level multi-threading that is 
basically off the table.