On 02/07/2012 09:28 PM, Ralf Hemmecke wrote:
It's not that I consider the above code invalid, I just don't like that the return type of DMP not only depends on vl but on a function applied to vl.
Just an add-on... I don't like a function in this place, because we could then potentially have something like "random(vl)", i.e., the type would not be deterministic.
I think, in SPAD/Aldor the "type language" is considered to be functional. 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.
