Ralf Hemmecke <[EMAIL PROTECTED]> writes: > On 10/27/2008 08:45 AM, Martin Rubey wrote: > > Ralf Hemmecke <[EMAIL PROTECTED]> writes: > > > >> Of course, FriCAS should also be able to cover things that the big M's > >> do. I argue only that FriCAS should work "as typed as possible". I > >> cannot prevent a user from giving imprecise input. There is probably > >> always some guessing involved. But if finally types have been guessed > >> and the user is satisfied with them, FriCAS should not use any > >> conversion to an "untyped" (which InputForm is for me) object and later > >> try to interpret manipulations of that. I would put the last thing > >> basically on the same level as user input. > > > > I'm a little confused: you dislike strict typing, yet you do not want that > > converting to INFORM produces fully specified INFORMs? > > Oooops. When did I ever say that I dislike strict typing? You should > know me.
Sorry, that was a typo. Read: "dislike non-strict typing" > I guess you refer to me saying that I want InputForm reflecting input > expressions (without types or rather like what you see in .ap files) and that > I rather like *another* type that reflects the expression together with > *full* type information. OK for me, although I'd think that this is a little overkill. I'd say (maybe contrary to Bill) that using non-fully qualified InputForms falls into the category design-bug. To stay alive, we need it (because we are 4 people, not 40), unless you modify all those bits of code that currently use it: I currently know of eval in EXPR INT (although, I guess there fully qualified INFORM would actually work) and EXPRODE. So, I suggest to gradually make the algebra produce fully qualified INFORMs, and strip off the types for those operations where we need it. Martin --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
