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.
Yes, and this is what I don't like. Well, we may have different ideas of
how things should work, so if I don't like something that doesn't
necessarily mean that you do something wrong.
But the reason why I don't want r and especially its type is, because it
is unnecessary. All you need is a string format of the result. And that
you get by converting the result into OutputForm (or whatever).
OutputForm is just one type and that is good enough.
So my idea would be to parse the string, dive deeper while parsing, i.e.
building the intermediate types recursively and basically just return
OutputForm. But well, I don't know whether this would work.
Another idea would be the following. There is a rather big freedom of
what you send from Haskell to FriCAS. In recent mails you've already
included type information.
What about starting with just simple functions. I.e. from Haskell you
send (a more parse-friendly string) of
a1: T1 := v1; a2: T2 := v2; r: T := f(a1, a2)$P; r::OutputForm
v1 and v2 would be simple values like Integer, Float or String (nothing
complicated like polynomials).
In fact, you can send something like a well designed *.input file to
FriCAS and let the FriCAS parser do the hard work.
You said before that this is too slow. Is it already too slow to parse
and call a function in case T1=T2=T=Integer?
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
Well, I really meant GitHub, because that would make it easier to
develop code and see differences.
I am only starting with parseCall. After it is done, I shall tell you.
Well, the whole point is that you should not do it alone but rather in
public (and on github). I hope you are familiar with version control,
otherwise you might learn an appreciate it while we try to develop together.
Is
http://botik.ru/pub/local/Mechveliani/axiQuest/
all right?
For the moment yes. It'll take me some time to delve into it and since I
am busy with other things, I'll probably not have a helpful comment on
the code before Sunday.
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.
