A few comments about D

[dsimcha]

On 8/23/2011 8:20 PM, bearophile wrote:
> 1) A transitive attribute like @noheap (or maybe @nogcheap) that statically disallows GC allocations inside a function (and the functions it calls), so they become errors.

The main problem I see with this is that realistically library writers 
aren't going to bother to mark every function that doesn't heap allocate 
@noheap.  Therefore, in practice something like this would be extremely 
conservative.