Sorry for the unclear question, that vagueness seems to lead to quite a discussion. The thought that was behind the question is that the things like (x : Ring) in type declarations resemble symbols/variables in expressions (by expression I the stuff used in symbolic computation).
That is (x : Ring) in the type of double double : (x : Ring) -> x double a == a + a is terribly similar for me to 'x' in '5 + x' (or '5 + (x : Integer)' to make the resemblance even more evident). Hence if it was possible to return as a type (x : Smth) then I feel it would be possible to conduct symbolic computations in such a manner. Well, more like 5 + (x : Expression(Integer)), the idea was all about introducing variables into expressions. And the question wasn't particularly about Spad, maybe more about Aldor, but again it was just that idea, without a link to a certain language. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
