Voldemort Types in D

[Walter Bright]

On 5/9/2012 1:35 PM, Jonathan M Davis wrote:
> Yeah. You _can_ strip them out (except for templates), but doing so restricts
> what you can do (in this case, killing inlining and CTFE). Personally, I think
> that it makes .di files essentially useless except in specific cases where you
> can't use CTFE anyway and inlining isn't an issue (e.g. much of std.file
> wouldn't need its implementation available, but that would be fatal to a
> module like std.string).

Consider the garbage collector. There's no way you'd want to CTFE that. It makes 
perfect sense to only provide an interface to it (.di) rather than full source.

And for many other things.