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.
For me functions are just ordinary variables or constants having a type
that involves ->. But, in fact my knowledge of SPAD is so poor that I
don't even know how do distinguish between (programming) variables and
constants. So I will shut up.
Ralf
-------------------------------------------------------------------------
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
