> What is a "multiple value"? http://www.aldor.org/docs/HTML/chap5.html#8
I don't know more. > What is it's type? I would guess, there is no one type. If at all it would be a multitype. (Don't ask me what that is.) > How is it different > from an object of Cross? What can you do with such "multiple value" > things? Let s: String := "a" i: Integer := 1 then one can say si: Cross(String, Integer) := (s,i); (x,y) := si; and x would have type String, y would have type Integer. See "courtesy conversioins" on http://www.aldor.org/docs/HTML/chap7.html#6 >> Whether you enclose >> >> 1,2,3 >> >> in braces or parentheses is only important if you write something like >> >> f (1,2,3) >> >> since >> >> f {1,2,3} >> >> does not work if f is a trivariate function and > > Why does it not work? What should we expect this to mean? The compiler issues a syntax error (if I remember correctly). > What about > > f ({1,2,3}) and f {(1,2,3)} The first is like the braces removed, the second is like the parens removed. 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 open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
