A Perspective on D from game industry

Timon Gehr via Digitalmars-d digitalmars-d at puremagic.com
Tue Jun 17 09:34:23 PDT 2014


On 06/17/2014 01:16 PM, "Ola Fosheim Grøstad" 
<ola.fosheim.grostad+dlang at gmail.com>" wrote:
> On Tuesday, 17 June 2014 at 09:17:21 UTC, Nick Sabalausky wrote:
>> I think you're hitting on the fundamental limitations of automated
>> code-updating tools here: They can't be treated as trusted black-boxes.
>
> I don't think this is a fundamental limitation of tools, but a
> consequence of language design.
>
> I also think that features that makes it difficult to write programs
> that analyze the semantics also makes it difficult for humans to
> understand the code and verify the correctness of the code.
>
> Programming languages are in general still quite primitive (not specific
> to D), they still rely on convention rather than formalisms.
> ...

That's a very odd statement to make about programming languages in general.


More information about the Digitalmars-d mailing list