trusted purity?

deadalnix deadalnix at gmail.com
Mon Apr 29 10:34:24 PDT 2013


On Monday, 29 April 2013 at 10:58:45 UTC, monarch_dodra wrote:
> Is there *any* way to make a call to a non-pure function in a 
> pure context, if you know you won't violate your own purity?
>
> This is something you can do with @safe (@trusted), but what 
> about pure?
>

This raise the case once again for trusted as a statement and not 
as a qualifier. Tis would solve the purity issue.

> Related question:
> Can a function that "sometimes throws" be considered as pure?

Yes as long at its behavior depends only on parameters.


More information about the Digitalmars-d mailing list