login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

On July 28, 2006 3:21 AM Christian Aistleitner wrote:

Actually, I do not like your code, as this does not give you the kind of information you would like to have with a reflection framework (e.g.: Using proper types for types and functions, Getting parameter types), and will cause you lots of problems -- but maybe I am too early thinking about such issues. However, besides the parsing part, the extensions and all the other issues, if it's the way you choose, let me help you getting it to compile and run. The following piece of code works:

aldor
#include "axiom"
macro T == Category; macro yieldT( expt ) == { yield ( expt@T ) }
EXPORT0: T == with {add2:(%,%)->%}; EXPORT1: T == with {sub2:(%,%)->%}; EXPORT2: T == with {neg: % -> %};
MyDom: with { exports: () -> Generator T; EXPORT0; EXPORT1; EXPORT2; } == add { import from Integer; Rep == Integer;
exports(): Generator T == generate { yieldT EXPORT0; yieldT EXPORT1; yieldT EXPORT2; };
add2(x:%,y:%):% == { per(rep(x) + rep(y)) };
sub2(x:%,y:%):% == { per(rep(x) - rep(y)); };
neg(x:%):% == { per(-rep(x)); };
}
checkSign( Dom: with{}, sign: T ):Boolean == { Dom has sign; }
main():List Boolean == { append([checkSign( Integer, sign ) for sign in exports()$MyDom ], [checkSign( MyDom, sign ) for sign in exports()$MyDom ]) }
aldor
   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/639549157981478454-25px001.as
      using AXIOM-XL compiler and options 
-O -Fasy -Fao -Flsp -laxiom -Mno-ALDOR_W_WillObsolete -DAxiom -Y $AXIOM/algebra -I $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
   The )library system command was not called after compilation.

fricas
main()
There are no library operations named main Use HyperDoc Browse or issue )what op main to learn if there is any operation containing " main " in its name.
Cannot find a no-argument definition or library operation named main .
fricas
)clear completely
All user variables and function definitions have been cleared. All )browse facility databases have been cleared. Internally cached functions and constructors have been cleared. )clear completely is finished.

What did I do to get the code working?

I got rid of pile. Piles are simply a pain to my eyes.

I turned exports into a function, as you'd probably want to call it more than once.

You yielded anonymous categories, created just within the yield clause. This looked dangerous to me, so I turned them into proper definitions within MyDom?'s add part. This however gave problems when checking by has (as the Categories where no longer anonymous), so I had to use them already in the with clause, and moved them to the top-level scope (EXPORT0, ...).

I use the macro yieldT instead of simply yield, to tell the compiler the yielded thing really is a Category. For some of my experiments this wasn't necessary -- for some it was.

I moved your "has" check in a separate function. It doesn't seem to work out well, if the Cat part of "Dom has Sig" is not constant in scope.

That's it.


Bill Page wrote:

I am very pleased that your code compiles and runs in Aldor but ...

Pile Notation is Beautiful

Why would anyone prefer to see all that redundant punctuation? To my eyes the ;{} stuff looks old and ugly.

aldor
#include "axiom"
#pile
+++
+++ Example domain with self-identifying declarations
+++
EXPORT3: Category == with { +:(%,%)->% }
EXPORT4: Category == with { -:(%,%)->% }
EXPORT5: Category == with { -: % -> % }
MyDom2: with exports: List Category EXPORT3 EXPORT4 EXPORT5 == add import from Integer Rep == Integer
exports: List Category == [ EXPORT3, EXPORT4, EXPORT5 ]
+(x:%,y:%):% == per(rep(x) + rep(y)) -(x:%,y:%):% == per(rep(x) - rep(y)) -(x:%):% == per(-rep(x)) +++ +++ Reflection abstraction layer +++ Reflection( T: Type ): with exports: List Category == add if T has with{exports: List Category} then exports:List Category == exports$T +++ +++ test +++ main2():List Boolean ==
import from List Category
append([Integer has sig for sig:Category in exports$Reflection(MyDom2)], [MyDom2 has sig for sig:Category in exports$Reflection(MyDom2)])
aldor
   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/3372704029632652874-25px003.as
      using AXIOM-XL compiler and options 
-O -Fasy -Fao -Flsp -laxiom -Mno-ALDOR_W_WillObsolete -DAxiom -Y $AXIOM/algebra -I $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
   The )library system command was not called after compilation.

fricas
main2()
There are no library operations named main2 Use HyperDoc Browse or issue )what op main2 to learn if there is any operation containing " main2 " in its name.
Cannot find a no-argument definition or library operation named main2 .

Unfortunately Axiom apparently cannot access Aldor category values

fricas
X := exports()$Reflection(MyDom2);
There are no library operations named Reflection Use HyperDoc Browse or issue )what op Reflection to learn if there is any operation containing " Reflection " in its name.
Cannot find a definition or applicable library operation named Reflection with argument type(s) Variable(MyDom2)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: