[Aldor-l] Fwd: [fricas-devel] Re: Package technicalities

[Bill Page]

---------- Forwarded message ----------
From: Bill Page <bill.page at newsynthesis.org>
Date: Fri, Jul 29, 2011 at 11:16 AM
Subject: Re: [fricas-devel] Re: Package technicalities
To: fricas-devel at googlegroups.com


Sorry, you are right that apparently no one is maintaining the Aldor
site.  The most recent post I received from the Aldor list has this
UR:

http://a2s23.a2hosting.com/mailman/listinfo/aldor-l_aldor.org

This seems to be equivalent to your link:

http://aldor.org/mailman/listinfo/aldor-l_aldor.org

On Fri, Jul 29, 2011 at 10:46 AM, Yrogirg <yrogirg at gmail.com> wrote:
>
> Well, you've dispelled my fears that the list is abandoned.
> Unfortunately the link is a bit useless, it says:
>
> "There currently are no publicly-advertised Mailman mailing lists on
> aldor.org. To visit the general information page for an unadvertised
> list, open a URL similar to this one, but with a '/' and the list name
> appended. "
>
> So one cannot subscribe from that page or view archives or even get
> the name of the list. I'm not sure, but maybe
> http://aldor.org/mailman/listinfo/aldor-l_aldor.org is the correct
> one? Anyway, it would be nice to have working links to the list
> somewhere (aldor wiki?).
>

Yes, it would be real nice if someone was actually motivated to post
something there...

It's the same old story - Aldor was virtually killed by a silly
decision about licensing.  Perhaps it will yet rise from the dead.

Regards,
Bill Page.




---------- Forwarded message ----------
From: Bill Page <bill.page at newsynthesis.org>
Date: Fri, Jul 29, 2011 at 10:51 AM
Subject: Re: [fricas-devel] Re: Package technicalities
To: bill.page at newsynthesis.org


Since you are not using FriCAS, your question is probably best suited
for the Aldor list. Although at present there is very little traffic
on the list, there is a larger number of people subscribed there whose
main interest is Aldor. See:

http://aldor.org/mailman/listinfo

http://www.aldor.org

Your questions and contributions to that list would be very welcome.

In connection with FriCAS, Aldor is just a compiler for library code
that would normally be called by the FriCAS interpreter or from other
library code.  Have you tried your code in this context?

Regards,
Bill Page.

On Fri, Jul 29, 2011 at 10:14 AM, Yrogirg <yrogirg at gmail.com> wrote:
>
>
> On Jul 28, 11:55 pm, Bill Page <bill.p... at newsynthesis.org> wrote:
>> Your code:
>>
>> )abbrev package TF TypeFinder
>> TypeFinder(S: Type): with
>>     GetType: S -> Type
>>   == add
>>     GetType(x: S): Type == S
>>
>> ---
>>
>> Note: Proper indentation
>>
>> seems to work fine as a spad package in FriCAS. What problem do you
>> see in Aldor?  Are you using Aldor standalone or as the library
>> compiler for FriCAS?
>
> I'm using aldor interpreter and there
>
> %2 >> #include "TypeFinder2"
> Defined TypeFinder @ (S: Type) -> (
>  with GetType: S -> Type
>    ==  add ()
> )
>                                           Comp: 0 msec, Interp: 0
> msec
> "TypeFinder2.as", line 7:         GetType (x: S): Type == S
>                          .................^
> [L7 C18] #1 (Warning) Function returns a domain that might not be
> constant (which may cause problems if it is used in a dependent type).
>
> %3 >> import from TypeFinder(Integer)
>                                           Comp: 0 msec, Interp: 0
> msec
> %4 >> import from Integer
>                                           Comp: 10 msec, Interp: 0
> msec
> %5 >> GetType 2
>  () @ Type
>                                           Comp: 0 msec, Interp: 0
> msec
>
> I expected GetType 2 to return something like
>  Integer @ Type
>
> --