Could D be used by Jonathan Blow rather jai language?
Ola Fosheim Grøstad
ola.fosheim.grostad at gmail.com
Fri Nov 20 16:12:35 UTC 2020
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.
More information about the Digitalmars-d