is type checking in D undecidable?

Kagamin spam at here.lot
Fri Oct 23 16:56:46 UTC 2020

On Thursday, 22 October 2020 at 18:24:47 UTC, Bruce Carneal wrote:
> Per the wiki on termination analysis some languages with 
> dependent types (Agda, Coq) have built-in termination checkers.

What they do with code that does, say, a hash preimage attack?

More information about the Digitalmars-d-learn mailing list