Thank you Saul,
First, thank you very much for your code. Under which license is it?
Public domain, mBSD, GPL, ... ?
Unfortunately, the compiler has changed a bit.
woodpecker:~/scratch/Youssef/london>aldor Basics.as
woodpecker:~/scratch/Youssef/london>aldor Categories.as
#1 (Error) There are 2 meanings for the operator `+'.
Meaning 1: (Obj, Obj) -> Obj
Meaning 2: (A: Obj, B: Obj) -> (
Obj with
...
#2 (Error) There are 2 meanings for the operator `..'.
Meaning 1: (Obj, Integer) -> Obj
Meaning 2: (A: Obj, n: Integer) -> (
Obj with
...
#3 (Error) There are 2 meanings for the operator `*'.
Meaning 1: (Obj, Obj) -> Obj
Meaning 2: (A: Obj, B: Obj) -> (
Obj with
...
#4 (Error) There are 2 meanings for the operator `^'.
Meaning 1: (Obj, Integer) -> Obj
Meaning 2: (A: Obj, n: Integer) -> (
Obj with
...
In fact, I don't quite know how to resolve that problem.
Actually, I wonder why I don't see any line numbers here.
> I'm attaching my code from the time (~3k lines) which includes the
> bits in the paper. It all actually at least used to compile and work
> in 2001.
I guess the commands "ao" and "ai" that I find in "compile" and
"exercise" mean something like
alias ao=aldor -fao
alias ai=aldor -G interp
Or did you use other scripts?
> One of the things that encouraged me at the time was thinking
> about the simplest Aldor category in the mathematical sense: objects
> of the category are Aldor domains satisfying
>
> Domain: Category == with # no signatures (my favorite base category
> for a library)
I wonder why you called it "Domain" and not something else? In some way
you are right
A: Domain
then says that A is a domain. Sounds not too bad.
Ralf
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
