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

Edit detail for SandBox Reflection in Aldor revision 2 of 4

1 2 3 4
Editor: Bill Page
Time: 2009/10/21 18:50:52 GMT-7
Note: udate

changed:
-local EXPORT3: Category == with { +:(%,%)->% }
-local EXPORT4: Category == with { -:(%,%)->% }
-local EXPORT5: Category == with { -: % -> % }
EXPORT3: Category == with { +:(%,%)->% }
EXPORT4: Category == with { -:(%,%)->% }
EXPORT5: Category == with { -: % -> % }

changed:
-   EXPORT3; EXPORT4; EXPORT5
   EXPORT3
   EXPORT4
   EXPORT5

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/zope2/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.
   Compiling Lisp source code from file 
      ./639549157981478454-25px001.lsp
   Issuing )library command for 639549157981478454-25px001
   Reading /var/zope2/var/LatexWiki/639549157981478454-25px001.asy
   EXPORT0 is now explicitly exposed in frame initial 
   EXPORT0 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/639549157981478454-25px001
   EXPORT1 is now explicitly exposed in frame initial 
   EXPORT1 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/639549157981478454-25px001
   EXPORT2 is now explicitly exposed in frame initial 
   EXPORT2 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/639549157981478454-25px001
   MyDom is now explicitly exposed in frame initial 
   MyDom will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/639549157981478454-25px001

axiom
main()
LatexWiki Image(1)
Type: List(Boolean)
axiom
)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/zope2/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.
   Compiling Lisp source code from file 
      ./3372704029632652874-25px003.lsp
   Issuing )library command for 3372704029632652874-25px003
   Reading /var/zope2/var/LatexWiki/3372704029632652874-25px003.asy
   EXPORT3 is now explicitly exposed in frame initial 
   EXPORT3 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/3372704029632652874-25px003
   EXPORT4 is now explicitly exposed in frame initial 
   EXPORT4 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/3372704029632652874-25px003
   EXPORT5 is now explicitly exposed in frame initial 
   EXPORT5 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/3372704029632652874-25px003
   MyDom2 is now explicitly exposed in frame initial 
   MyDom2 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/3372704029632652874-25px003
   Reflection is now explicitly exposed in frame initial 
   Reflection will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/3372704029632652874-25px003

axiom
main2()
LatexWiki Image(2)
Type: List(Boolean)

Unfortunately Axiom apparently cannot access Aldor category values

axiom
X := exports()$Reflection(MyDom2);
Internal Error Unexpected error or improper call to system function matchMmCond : unknown form of condition