Ralf, I do not understand your objection to the use of a function here. It seems to me that the type is "constant in context" as required for compilation of static types in both Axiom and Aldor - even if the function on whose result the type depends behaves non-deterministically. There seems nothing remarkable about this. It does not somehow make the type language "non-functional".
As regards to style and what "looks good" and what does not, that is another mattter and I do agree that there are probably better ways to write this code. But of course this applies to a lot of code in the library. Regards, Bill Page. On Wed, Feb 8, 2012 at 2:01 AM, Ralf Hemmecke <[email protected]> wrote: > 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. > -- 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.
