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. 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. 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 -~----------~----~----~----~------~----~------~--~---
