Bill Baxter wrote:
> However, it may still be useful to have tools that discover and recommend tagging of functions which are in fact pure.  Same goes for nothrow.

Such tools are very possible. JDT can automatically add "final" to every variable it can in Java, so it's not a big leap to say a tool could be implemented for D that would constify/invariantify every variable in your source it could. Such tools, for the reasons you described (API specification) would be easily abused, though.

Sean Kelly wrote:
> I'm guessing there is, but since Walter appears opposed to atomics in the language, your guess is as good as mine what it will be.  I had been expecting that D would copy C++0x here.

Given Bartoz's presentation last year he probably isn't totally opposed to atomics in STM.

Walter Bright wrote:
> Bruno Medeiros wrote:
>> Speaking of which, is a memory model specification also being worked out for D, since the concurrent programming aspects of the language are being developed?
> 
> Yes.

Cool. I hope you really bring the experts on this one, cause it sure ain't gonna be easy, likely much harder than the const/invariant system.
That is, unless the semantics can be mostly (or even entirely) copied from the work being done on other languages (like C++0x or Java).

-- 
Bruno Medeiros - Software Developer, MSc. in CS/E graduate
http://www.prowiki.org/wiki4d/wiki.cgi?BrunoMedeiros#D

Bill Baxter wrote:
> Bruno Medeiros wrote:
>> Walter Bright wrote:
>>> there wondering "what's a cubit". 
>>
>> I tried to look up that term. Did you mean a "cubit" or a "qubit"?
>>
> 
> Probably he's referring to this:
> http://www.google.com/search?hl=en&q=what%27s+a+cubit&btnG=Google+Search
> 
> A classic American comedy monologue by Bill Cosby.

Isn't google grand?

Walter Bright wrote:
> Bill Baxter wrote:
>> Bruno Medeiros wrote:
>>> Walter Bright wrote:
>>>> there wondering "what's a cubit". 
>>>
>>> I tried to look up that term. Did you mean a "cubit" or a "qubit"?
>>>
>>
>> Probably he's referring to this:
>> http://www.google.com/search?hl=en&q=what%27s+a+cubit&btnG=Google+Search
>>
>> A classic American comedy monologue by Bill Cosby.
> 
> Isn't google grand?

To understand, I had to search a bit more, to find this:
http://www.youtube.com/watch?v=Zyc1315KawQ

But I was really thinking Walter meant qubit, which means quantum bit of information, and quite looks like a term that could be applied to concurrency (the smallest unit of information that can be assigned atomically in a CPU or something :P )


-- 
Bruno Medeiros - Software Developer, MSc. in CS/E graduate
http://www.prowiki.org/wiki4d/wiki.cgi?BrunoMedeiros#D