On 07/08/2008 01:06 AM, Gabriel Dos Reis wrote:
> On Mon, Jul 7, 2008 at 4:49 PM, Yixin Cao <[EMAIL PROTECTED]> wrote:
>> Howdy,
>>
>> When I define
>> (1) -> a:Category := Ring
>> Category is a category, not a domain, and declarations require
>> domains.
>
> I consider this to be a bug -- as discussed with Bill recently.
Gaby, when I read your comment, I cannot really interpret it. What
exactly do you consider as a bug?
1) Category is a category
2) declarations require domains
Where could I look up that for a declaration
A: B
to be valid, B must be a domain. Well, actually that raises the question
again, what is the definition of domain in OpenAxiom. I know it for
Aldor, but maybe it's already different in OpenAxiom (or was/is in all
the forks).
Gaby, I think it would help if there were some Mathaction page with the
definition of "domain", "type", "category" (small c) in OpenAxiom. I
somehow got a bit confused by all that recent discussion.
>> while
>> )abbrev domain FOO Foo
>> Foo(): Public == Private where
>> Public ==> with
>> f1: () -> Domain
>> f2: () -> Domain -- compilation failed if "Category" used here!!
>
> That is a bug.
>
>> Private ==> add
>> f1 == Integer
>
> OK.
Why? Why not requiring f1 == ()+->Integer? I could have defined f1 as
f1 = () +-> (printSomething(); Integer)
But maybe the nullary function vs. constant is something for later or
another thread. Anyway, if f: () -> X and h: X then they are clearly
different since they have different types.
Looks like the SPAD compiler is silently inserting "()+->" in a definition
random: () -> Integer
random == 42
Ooops, Axiom doesn't let me define constants?
http://axiom-wiki.newsynthesis.org/SandboxNullaryVsConstant
Ralf
-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
