On 4/8/13 3:35 AM, Jacob Carlborg wrote:
Scott Meyers had a talk about what he called red code/green code. It was
supposed to statically enforce that green code cannot call red code.
Then what is green code is completely up to you, if it's memory safe,
thread safe, GC free or similar.
I don't remember the conclusion and what could be implemented like this,
but here's the talk:
http://www.google.com/url?sa=t&rct=j&q=scott%20meyers%20red%20green%20code&source=web&cd=1&cad=rja&ved=0CCsQtwIwAA&url=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DJfu9Kc1D-gQ&ei=fXJiUfC3FuSB4gS41IHADQ&usg=AFQjCNGtKwLcr2jNjsC4RJ0_5k8WmAFzTw&bvm=bv.44770516,d.bGE
Article: http://www.artima.com/cppsource/codefeaturesP.html
It's one of Scott's better works but it went underappreciated. I think
it would be worthwhile looking into how to implement such with D's
features (notably attributes).
Andrei
