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

[Jonathan M Davis]

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.

- Jonathan M Davis