1) It seemed to be written in Aldor
true
and makes use of the Aldor- specific features to the extent that it
would not be practical to re- write it in FriCAS SPAD?
It's certainly stretching the limits even of the Aldor compiler.
See comments on
http://axiom-wiki.newsynthesis.org/SandBoxAldorCategoryTheory .
But since the SPAD compiler should more or less accept the same
language, it could probably serve a a testcase for the SPAD compiler.
I'm somehow sure that the SPAD compiler cannot currently compile
Youssef's code (appropriately translated into SPAD), but perhaps it
motivates Waldek to look into the respective issuse.
It's open source. Do what you like and what *you* find practical.
2) It seemed to be like the 'Category extras' package for Haskell in
that it looked like a toolbox of category-theory constructs (in the
form of higher order functions) that can then be applied to other
Aldor types rather than an abstract model of category theory that
can encode the type of concepts we are talking about on this thread?
If I better understood what you are up to, it would be easier for me to
say something here. But I have already the feeling that you are right.
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.
