[dmd-beta] rvalue references
Andrei Alexandrescu
andrei at erdani.com
Tue Apr 10 22:16:51 PDT 2012
On 4/11/12 12:02 AM, Jonathan M Davis wrote:
> On Tuesday, April 10, 2012 23:56:05 Andrei Alexandrescu wrote:
>> Nevertheless please attack this any way you can. We better find bugs now
>> rather than later.
>
> I'm definitely going to have to think this one through quite a bit before I can
> really give any meaningful feedback, I suspect. It seems like the sort of
> thing where everything seems great until one minor detail gets pointed out
> which ruins the whole thing.
Yup, that's why the big boys use formal proofs.
Andrei
More information about the dmd-beta
mailing list