[D.typesystem] Static (CT) enforce anybody?

[Steven Schveighoffer]

On Wed, 01 Sep 2010 17:11:50 -0400, Jonathan M Davis  
<jmdavisprog at gmail.com> wrote:

> On Wednesday, September 01, 2010 13:54:15 Philippe Sigaud wrote:
>> On Wed, Sep 1, 2010 at 22:37, bearophile <bearophileHUGS at lycos.com>  
>> wrote:
>> > Philippe Sigaud:
>> > > Yes, Steve is right. Also, you cannot throw exceptions at CT.
>> >
>> > This is a temporary limitation :-)
>>
>> Really? That means being able to create reference types at CT, that'd be
>> interesting, to say the least. And what code would catch them? Aren't  
>> they
>> caught by the runtime?
>
> Well, according to TDPL, the ultimate goal is to be able to use _all_ of  
> SafeD
> with CTFE. So, exceptions would be on the list. However, I wouldn't  
> expect CTFE
> to get that powerful anytime soon.

I think step 1 is to rewrite the compiler in D.  Right now, CTFE is  
interpreting things from a C++-based program.  I think without a garbage  
collector too.

-Steve