What would a minimal subset of D look like?

Sat Jun 22 09:56:55 UTC 2019

On Saturday, 22 June 2019 at 09:42:48 UTC, Ola Fosheim Grøstad 
wrote:
> No, D can't. There are languages that can do it, or languages 
> with tooling and annotations that can do it.  I believe SPARK 
> (derived from Ada) and some C-extension have such tooling 
> available.

You can find more on Ada SPARK and handling of loops here:

https://learn.adacore.com/courses/intro-to-spark/book/05_Proof_Of_Functional_Correctness.html#handling-of-loops

And more on the vulnerabilities that SPARK Pro prevents here:
https://www.adacore.com/sparkpro

Ola.