oldk1331 wrote:
>
> > It's underspecified and thus anything can happen.
>
> > I don't know whether copying arguments should be a hard rule.
>
> Then it's simple.
>
> The Rule should be operations without "!" at end should not
> destructively modify it's argument or share (part of or all of)
> argument's structure. (except for append and concat, I think)
Sorry, sharing is a rule. At very basic level Spad data are
references. The mere act of say passing argument to function
leads to sharing: the reference is simultanously available at
call site and to called function. Of course, this sharing
is directly visible only in parallel programs and we do not
have explicit support for parallel execution. But once you
store data somewhere it becames visible also in serial
programs. And definitely I do not want to append "!" to
names of all functions that store data. Note: functions
which store data may be destructive because they modify
destination. But not due to source (which is always potentially
shared).
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
