Edit detail for SandBox Reflection in Aldor revision 3 of 4

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:

#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 ])
}

   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/639549157981478454-25px001.as
      using Aldor compiler and options 
-O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y $FRICAS/algebra -I $FRICAS/algebra
      Use the system command )set compiler args to change these 
      options.
   The )library system command was not called after compilation.

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
      .

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.

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.

#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)])

   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/3372704029632652874-25px003.as
      using Aldor compiler and options 
-O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y $FRICAS/algebra -I $FRICAS/algebra
      Use the system command )set compiler args to change these 
      options.
   The )library system command was not called after compilation.

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

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.