On Mon, Mar 05, 2012 at 07:09:52PM +0100, Ralf Hemmecke wrote:
>>> OK, so you want a function:
>>>
>>> parseCall: String ->  String
>>
>>> that takes a string parses it, calls the respective FriCAS function and
>>> returns the result as a string?
>>
>> 1) I separate the two stages.  parseCall  prepares everything for applying
>>     the needed standard function who's name is parsed at the top.
>>     The remaining stage is simpler.
>>
>> 2) First, a string is broken to  lexemes :  LexList ==>  List String.
>> I am going to try the format
>
> Sergei,
>
> 1) You give ParseCallRes as a return type. But isn't it true that in the  
> end you want to have a string that you can send back to Haskell?

Stage 2  will apply the needed  f  and produce a result  r.

(1) pRes : ParseCallRes  and  r  can be used in Axiom, independently of 
    Haskell. Because this is a fast special parsing
    (I do not know now of how it can be used).

(2) r  is printed to a string and sent back to Haskell
    -- for the DoCon users.

> 2) Can you upload your code to your account on github and give me a link  
> to it. That would make it easier for me to see the development of your  
> code and enable me to propose some changes directly to your code.

  http://botik.ru/pub/local/Mechveliani/axiQuest/DParse.zip

is the initial version. It works. See  readme.txt.
In this version 
1) a domain is parsed in the same process when an element in parsed,
2) it parses one element, it does not parse a whole call.

parseCall  is the further and necessary generalization, I hope it 
           will also parse the elements in a better way. 

In both programs  `Any', `pretend', and may be, `retract'  are necessary,
in  parseCall  `Any' will be more located, I hope.

I am only starting with  parseCall.  After it is done, I shall tell you.
Is 
             http://botik.ru/pub/local/Mechveliani/axiQuest/
all right?

Thanks,

------
Sergei
[email protected]


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

Reply via email to