On 06/17/2016 03:15 PM, Waldek Hebisch wrote: > 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.
OK, my sentence was not correctly formulated. Actually, I have nothing against creating a list consisting of BasicType and Integer (because both of them belong to Type (right?)). At least I would nothing have against a domain "List(with)" and "List(Category)" where the elements would be domains and categories, respectively. My actual criticism was about what die signature of "has" is in order to have no type conflict when instantiating (and thus executing) something like "BasicType has BasicType" in the creation of List(BasicType). Ralf -- 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.
