Ralf, In general I suppose it is probably not a good idea to try to talk about these things in an informal way but accepting your informal definition of "concrete type", would this mean that given a function
f:Float->Float := (x:Float):Float +-> x + 1.0 one should call f non-concrete? Of course evaluating f(3.14) does produce a "concrete" value of type Float, but f itself is also a value. It is a constant of type Float->Float. As such it is also concrete. No? My proposal is that FiniteAbelianMonoidRing(Integer, NNI) is certainly a concrete type in this sense (or in other words just a domain), i.e. a value of type Type. But just like f above, the functor FiniteAbelianMonoidRing is also a value. I don't think there is nothing less "concrete" about it. Or are you suggesting that there is a sense in which FiniteAbelianMonoidRing is not "instantiated" by the compiler? Perhaps we also need to define what it means to be "instantiated". Regards, Bill Page. On Fri, Feb 17, 2012 at 3:22 PM, Ralf Hemmecke <[email protected]> wrote: >> I am not really sure what you mean by "concrete return type". What >> would be a non-concrete return type? > > > FiniteAbelianMonoidRing(Integer, NNI) would be concrete everything else, > i.e. where R and E are not substituted by concrete existing domains, but > rather stay as parameters, I would call non-concrete. > Actually, my "concrete" was more an informal concept somewhat connected to > "instantiated". > > > 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. > -- 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.
