Ralf Hemmecke wrote:
>
> First of all, I wouldn't ever have typed "List Type", because what
> exactly would that mean? As I understand "Type", it is a category, not a
> domain.
Rember that types are values and categories are also types.
For example:
(2) -> [AlgebraicNumber, Integer]
LISP output:
(UNPRINTABLE UNPRINTABLE)
Type: List(Type)
So List(Type) means list such that elements are types. And of
course you can ask what operations are available on such lists.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
