<div class="gmail_quote">On Fri, Jun 1, 2012 at 8:56 PM, Philippe Sigaud <span dir="ltr"><<a href="mailto:philippe.sigaud@gmail.com" target="_blank">philippe.sigaud@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="HOEnZb"><div class="h5">On Fri, Jun 1, 2012 at 6:49 PM, Jonathan M Davis <<a href="mailto:jmdavisProg@gmx.com">jmdavisProg@gmx.com</a>> wrote:<br>
> On Friday, June 01, 2012 19:47:47 Gor Gyolchanyan wrote:<br>
>> Where can I read more about Bartosz's race-free type system and if there<br>
>> are some specific ideas already, AST macros for D as well?<br>
><br>
> I'm sure that there's some discussion on them in the newsgroup archives, but<br>
> it may be 5 years back; I don't know. You'll have to search the archives. I'm<br>
> not aware of any other discussions of them being online anywhere.<br>
<br>
</div></div>Discussion here, no indeed. But Bartosz had a bunch of blog posts that<br>
explained his ideas.<br>
<br>
It begins there:<br>
<br>
<a href="http://bartoszmilewski.com/2009/03/23/types-for-concurrency/" target="_blank">http://bartoszmilewski.com/2009/03/23/types-for-concurrency/</a><br>
<br>
And then for some months.<br>
</blockquote></div><br>Thanks!<br clear="all"><div><br></div>-- <br>Bye,<br>Gor Gyolchanyan.<br>