Thank you both for responding to this email and pointing out additional resources regarding space used in Oz. From a newbie's perspective, I couldn't agree more with Jorge that I was expecting to see a section, at least, in the shipped document talking about it as it appears to be a very important foundation of Oz.
Christian, you mentioned that there is a free book on your website that talks specifically about this. Could you please send me the link to it if you don't mind?
Thanks,
Ed
On 5/1/06, Christian Schulte <[EMAIL PROTECTED]> wrote:
Jorge,
I definitely deserved your answer! Alas, when we designed Mozart, we were so
lucky to not being forced to discuss spaces (earlier everything had been
based on deep guards involving spaces) that we did some 1984 history
adaption.
But on a different stance, the book at LNCS happens to be close to my PhD
thesis also available for _free_ from my webpages. You guess the
differences... (well, if any)
Christian
--
Christian Schulte, http://web.imit.kth.se/~schulte/
-----Original Message-----
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]]
Sent: Tuesday, May 02, 2006 12:20 AM
To: [EMAIL PROTECTED]
Cc: [EMAIL PROTECTED]
Subject: RE: The code block
Yes, I owe you apologies, Christian; and I knew someone would come up with
this remark. However, indeed I had your (great) book in mind when I wrote
that. But I meant that to be taken from the point of view of newbies: they
favour the docs that are shipped with the system and they trust them to have
all that it takes.
As the docs are very detailed and didactic as regards certain topics,
"spaces" come across as some curiosity, something that may well, even is
meant to be ignored. And when a newbie finally gets interested, having as
only resource a whole (non-free) book is not that engaging...
Cheers,
Jorge.
Selon Christian Schulte <[EMAIL PROTECTED]>:
> Obviously, I have to object to "they always run for worst-documented
> feature": if any, spaces are the most widely published concepts in Oz
> and one of the rather few to which an entire book is devoted! Use the
> book!
>
> Christian
>
>
> --
> Christian Schulte, http://www.imit.kth.se/~schulte/ -----Original
> Message-----
> From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]]
> On Behalf Of Sukit Tretriluxana
> Sent: Monday, May 01, 2006 10:03 PM
> To: [EMAIL PROTECTED]
> Cc: [EMAIL PROTECTED]
> Subject: Re: The code block
>
>
> Thank you very much Jorge. That's very helpful.
>
> Ed
>
>
> On 5/1/06, [EMAIL PROTECTED] < [EMAIL PROTECTED]> wrote:
>
> Hi there!
>
> > I am a newbie in Oz and Mozart. I am following a tutorial on logic
> > programming. Part of it states that the following code can execute
> > without blocking if it is called determistically.
>
> That is true provided you make a call inside a space. Actually, dis
> can never be used in the toplevel space because the latter never gets
> stable and dis implicitly calls Space.waitStable.
>
> Thus:
> --------------
> declare
> proc {FullAppend L1 L2 L3}
> dis L1=nil L2=L3
> [] X M1 M3 in
> L1=X|M1 L3=X|M3 {FullAppend M1 L2 M3}
> end
> end
> fun {MergeAfterStable S}
> {Space.ask S _}
> {Space.merge S}
> end
>
> {Browse {MergeAfterStable {Space.new fun {$} {FullAppend [1 2] [3 4]}
> end}}}
>
> --------------
>
> does the job. Beware that calling Space.waitStable poses somes
> constraints on the use of dis. For example, it cannot be called by a
> thread if another thread
> is calling Space.waitStable... That's life, or rather, that's one of the
> things
> that make learning about spaces such a must in Oz, though they always run
> for
> worst-documented feature :o) I mean, there is no space tutorial.
>
> A common procedure: keep on trying to ignore spaces - or learn as
> little as possible - till they finally impose themselves. People on
> the list will always be there to help you out!
>
> Cheers,
>
> Jorge.
>
>
_________________________________________________________________________________
mozart-users mailing list [email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
