Ralf Hemmecke <[EMAIL PROTECTED]> writes:

| On 05/14/2008 10:56 AM, Gabriel Dos Reis wrote:
| > Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| > [...]
| > | That I could not write
| > | |    z: Integer == 3 + y
| > | | ("==" instead of ":=") was somehow a surprise to me, but I don't
| > know
| > | SPAD so well. So my question would be, how to use a delayed assignment
| > | so that whenever I later call "bar(100)", z would be properly defined?
| > Every `==' definition in Spad implicitly defines a function.    There
| > is no such thing for variables.
| 
| I know why I do not (yet) like SPAD: it differentiates between
| functions and ordinary variables.

At the category level, everything must be a function, or a attribute.
At he Capsule leve, `==' introduces a fiunction definition.
':=' introduces either v variable definition, or an assignment.

-- Gaby

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft 
Defy all challenges. Microsoft(R) Visual Studio 2008. 
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel

Reply via email to