On Fri, Jun 1, 2012 at 6:49 PM, Jonathan M Davis <jmdavisp...@gmx.com> wrote: > On Friday, June 01, 2012 19:47:47 Gor Gyolchanyan wrote: >> Where can I read more about Bartosz's race-free type system and if there >> are some specific ideas already, AST macros for D as well? > > I'm sure that there's some discussion on them in the newsgroup archives, but > it may be 5 years back; I don't know. You'll have to search the archives. I'm > not aware of any other discussions of them being online anywhere.
Discussion here, no indeed. But Bartosz had a bunch of blog posts that explained his ideas. It begins there: http://bartoszmilewski.com/2009/03/23/types-for-concurrency/ And then for some months.