On Tue, 09 Apr 2013 05:09:05 +0200 "Rob T" <al...@ucora.com> wrote: > > BTW, the red code/green code concept sounds like the most > promising route towards a generalized solution. I'll try and find > the time to watch it as well. >
From what I could tell from a brief glance, it sounded like it's more comparable to @system/@trusted rather than @system/@safe. Still, could be useful though, and then compiler-verified "super-greens" (like @safe) for certain things could potentially be created and tied into it.