On 07/28/2011 07:09 PM, Yrogirg wrote:
I've found in Aldor user guide the next macro (p 222):
Ag ==> (S: Type) -> BoundedFiniteLinearStructureType S;
What does (S: Type) mean? Does it mean any type --- member of Type
Category?
(S: Type) is not important. The top-level thing is -> here. If I write
the above type more sloppy, I'd get
Type -> BoundedFiniteLinearStructureType S
This, of course, cannot work, because it is not clear, what the S in the
result type means. So you declare that the S is, in fact, the thing that
you give as input.
This is a particular instance of a "dependent type", i.e. the result
type of the map depends on the input.
Is there a way (in aldor) to load a parametrized package without
supplying any concrete parameter? For example to import not only List
Integer, but List x for all valid x?
No.
But why would you want that anyway? What use case do you have in mind?
Ralf
--
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.
