Robert Jacques Wrote: > On Tue, 28 Apr 2009 22:12:41 -0400, Daniel Keep > <[email protected]> wrote: > > > > > > > Andrei Alexandrescu wrote: > >> Robert Jacques wrote: > >>> Repost in ascii, since utf-8 has been causing some issues. > >> > >> You should know that posting a long, serious proposal here has less > >> chances than the paper -> bottle -> ocean route. A month from now it > >> will be forgotten. > >> > >> Please post in a wiki/blog/webpage. > >> > >> > >> Andrei > > > > Mostly because this teeny tiny window I read NG postings through doesn't > > work for long posts. Plus, Thunderbird doesn't support my > > Text-to-speech addon. > > > > Why not whack it up on the D wiki? > > > > -- Daniel > > I just did. :) > http://www.prowiki.org/wiki4d/wiki.cgi?OwnershipTypesInD
A link to an overview of GRFJ would be helpful. The largest issue I see is using scope as any kind of output parameter. If I pass a variable in as a ref scope parameter, all type information I had must be erased. Any assignment to the head of the scope variable could be an incorrect type. For example, a local variable could be transformed into a shared variable. (both are scope inside the function call). This leads to a cascade of issues I have with the proposal, so I'll stop here and get your thoughts. Const scope isnot an issue, but I think you aim to handle more than that.
