Since I'm working on the concurrency model for D, I have to re-read several
articles. I decided to combine this task with blogging--it always helps the
understanding if you have to relate the topic to others. We are interested in
designing a type system that would prevent, or at least minimize, data races in
D. There's been research on this, especially in Java, so I started with
analyzing Guava, a race-free dialect of Java. This is the post:
http://bartoszmilewski.wordpress.com/2009/03/23/types-for-concurrency/ , and
here's a link to reddit, if you want to vote for it:
http://www.reddit.com/r/programming/comments/86zow/types_for_concurrency/ .
