[D.typesystem] Static (CT) enforce anybody?
Jonathan M Davis
jmdavisprog at gmail.com
Wed Sep 1 14:11:50 PDT 2010
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
More information about the Digitalmars-d
mailing list