Hello,
On Wed, 05 Sep 2007 18:11:24 +0200, Bill Page <[EMAIL PROTECTED]>
wrote:
On 9/5/07, Christian Aistleitner wrote:
[APL2 concerns]
If issues and rights such as these were specifically addressed in
published document that is intended to clarify the application of
APL2, woul
Hello,
On Tue, 04 Sep 2007 22:12:12 +0200, Bill Page <[EMAIL PROTECTED]>
wrote:
For
example: modified BSD is also compatible with Aldor's new APL2
license. Incorporating Aldor into Axiom in such a way that Aldor was
*required* in order to build Axiom would have a similar affect of
"infecting
Hello,
On Fri, 13 Jul 2007 13:57:16 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
In Aldor we write
Foo: with {
coerce: Integer -> %;
test?: % -> Boolean;
} == add {
Rep == String;
...
}
and mean something like
Foo = ((%, Integer, Boolean), (coerce, test?))
in the multisort
Hello Bill,
On Fri, 08 Jun 2007 15:35:00 +0200, Bill Page <[EMAIL PROTECTED]>
wrote:
On 6/8/07, Christian Aistleitner wrote:
...
> Given that, what remains for AxiomUnit?
As we've already discussed in private mail some time ago, there are more
things. But I suggest to swi
Hello,
But Christian might be better in saying something why AxiomUnit does not
yet exist.
it is actually quite some time since I attempted to get AldorUnit to
Axiom. As the crucial parts af the discussion happen orally between me and
Ralf, parts of the arguments are lost.
The most impo
Hello,
On Mon, 04 Jun 2007 21:02:23 +0200, Martin Rubey
<[EMAIL PROTECTED]> wrote:
I just did something extremely simple minded, with the following result:
(5) -> )sh MyTextWriter
MyTextWriter is a domain constructor
Abbreviation for MyTextWriter is MYTEXTW
This constructor is exposed i
Hello,
It seems however not so totally trivial to adapt AldorUnit for Axiom
since Axiom does not have exception handling. And there are some more
details which Christian could report about.
yes, there are indeed several problems and after discussing some of them
with Martin, he said he'll
Hello,
On Thu, 29 Mar 2007 02:03:25 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
So I would rather need something like
"Cross", but I cannot even ask about the number of arguments of Cross.
one can easily teach Aldor about the size of a Cross with the help of
extend. Then you can ask a C
Hello,
On Mon, 05 Mar 2007 03:29:01 +0100, Bill Page
<[EMAIL PROTECTED]> wrote:
Does anyone have any idea exactly what "v. 1.1-rc" refers? Note:
The current version of the Aldor compiler is: v1.0.3. Where can
we find v. 1.1-rc?
maybe you just caught the aldor webpage in a state of transiti
Hello,
[...]
I haven't yet tried Silver.
with the other replies in this thread I managed to install both the
current silver and the current gold sources.
Thank you,
Christian
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://li
Hello Gaby,
On Sat, 06 Jan 2007 17:53:38 +0100, Gabriel Dos Reis
<[EMAIL PROTECTED]> wrote:
"Christian Aistleitner" <[EMAIL PROTECTED]> writes:
[...]
| chmodding everything within /hemo/tmgisi/axiom64 to 777, make got past
| this point but make did not proceed for
Hello,
On Thu, 04 Jan 2007 16:00:42 +0100, Page, Bill <[EMAIL PROTECTED]>
wrote:
On Thursday, January 04, 2007 7:04 AM Christian Aistleitner wrote:
I installed the binary Axiom+Aldor package from
http://wiki.axiom-developer.org/Mirrors?go=/public/axiom-aldor
-20060621.tgz&it=
/axiom/mnt/linux/autoload/br-prof.
Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/br-saturn.
(1) -> f()
>> System error:
Unknown bfd format
(1) -> )quit
Please enter y or yes if you really want to leave the interactive
environment and
Hello,
On Sat, 23 Sep 2006 21:13:58 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
The first one is whether there is a grammar for the SPAD language. If
memory serves, the answer to this is no there is not, but there is a
grammar for Aldor.
I don't know for SPAD, but the Aldor User Guide (s
Hello,
| > | I am not sure, to what extend the US law situation is reflected by
| > | Canadian, French or British law.
| > | However, as (I guess) most of the ppl interested in Aldor, have
seen
| > | the compiler's source code, they (probably) should not work on the
| > | reimplementation of
Hello,
| I am not sure, to what extend the US law situation is reflected by
| Canadian, French or British law.
| However, as (I guess) most of the ppl interested in Aldor, have seen
| the compiler's source code, they (probably) should not work on the
| reimplementation of it.
That is a very go
Hello,
On Sat, 19 Aug 2006 01:11:09 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
On 08/19/2006 12:23 AM, Gabriel Dos Reis wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
[...]
| > It should be a mater of days or weeks to have a good front-end.
|
| Oh, really?
when you get a handful of m
Hello,
[ Generators ]
Hmmm... I see. A constant that is not constant...
For exactly this reason, you should not define a Generator to be constant.
It's bad style ;)
You can modify every connstant that has destructive functions...
Is there any language forbidding this?
Generators are "mu
Hello,
Also if I did use named categories shouldn't I use the 'define'
keyword since ultimately I will probably be interested in using
the value of these categories in forming other domains?
when sticking to the AUG, you are right. However, in real life, the Aldor
Compiler does not seem to n
Hello,
I still see conceptual problems with "names". I can take one
source code containing, say a local variable named X that
compiles and runs properly, do a text substitution of X to Y
(assumming that the variable Y does not aldready occur) to create
an entirely new source code that compiles a
Hello,
Does it really make sense
that such a high level language should care about the name
that a particular programmer assigned to one of it's objects?
yes, there are lots of applications of reflection that do not involve
debugging. So you should typically be able to get the names of thing
Hello,
On Thu, 27 Jul 2006 14:21:03 +0200, root <[EMAIL PROTECTED]> wrote:
I agree, .asy or Foam is better than C or LISP, for what you are
considering. But Ralf considered looking into the compiler sources. The
discussion has now drifted towards "I do not need the sources; I simply
compile to
Hello,
On Wed, 26 Jul 2006 17:36:34 +0200, Page, Bill <[EMAIL PROTECTED]>
wrote:
On Wednesday, July 26, 2006 10:35 AM Ralf Hemmecke wrote:
...
I believe reflections are not too complicated once we know
how the internal datastructures for domains are. (Yes, yes,
we must look inside the compi
Hello,
Christian, I think that you should have said that reflection would be
just perfect for your AldorUnit
http://www.risc.uni-linz.ac.at/software/aldor/aldorunit
You are right, reflection would be wonderfull for AldorUnit. However,
that's not all I have int mind for reflection.
For examp
Hello,
On Tue, 25 Jul 2006 11:19:50 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
On 07/25/2006 07:16 AM, Christian Aistleitner wrote:
stdout << ( A has CatA) << newline;
stdout << ((A add) has CatA) << newline;
It still does not compile. But it
Hello,
But perhaps "has" is not so weak. What other applications of
reflection are there other then conditional ones?
I do not know if you'd consider that to be reflection or not...
I'd need a generator for all the fields of a domain.
I'd need a way to determine the type of a field.
I'd need a
Hello
stdout << ( A has CatA) << newline;
stdout << ((A add) has CatA) << newline;
It still does not compile. But it should. Both A and "A add" are domains
of type CatA.
Why should (A add) be of static type CatA? (I assume you meant static type
although has checks the dynamic type, wh
Hello,
> My conclusion is that Aldor must be sort of "faking" the
> compilation of the constants in the sense that they are not
> fully resolved at compile-time, yet they are indeed constant
> within any run of the program. There must be some kind of
> dynamic initialization phase at the start o
Hello,
On Mon, 24 Jul 2006 17:05:18 +0200, Bill Page
<[EMAIL PROTECTED]> wrote:
On July 24, 2006 3:12 AM Christian Aistleitner wrote:
On 07/21/2006 07:58 AM, Martin Rubey wrote:
http://wiki.axiom-developer.org/SandBox7
I moved Martin's code to
http://wiki.axiom-de
Hello,
On Sun, 23 Jul 2006 08:00:56 +0200, Bill Page
<[EMAIL PROTECTED]> wrote:
---BEGIN aaa6.as
#include "aldor"
#include "aldorio"
macro I == MachineInteger;
define CatX: Category == with {foo: () -> I}
A: CatX == add {foo(): I == 0;}
B: CatX == add {foo(): I == 1;}
import from MachineInt
Hello,
On Fri, 21 Jul 2006 13:48:47 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
On 07/21/2006 07:58 AM, Martin Rubey wrote:
Dear all,
I made yet another experiment (on SandBox7, no ssh here), and tested
whether in the code below H would have SomeCat. It does not. B has,
though.
http://w
Hello,
On Fri, 21 Jul 2006 10:37:30 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
Hello Christian,
On 07/21/2006 09:47 AM, Christian Aistleitner wrote:
[...]
#include "aldor"
import from String, TextWriter, Character;
define CatA: Category == with { }
define CatB:
Hello,
> You can interpret both kinds as "provides at least".
No, I don't think that is true.
Can you provide an example where you cannot interprete it as "provides at
least"?
>> Take for example
>>
>> A: Join(CatA, CatX) == add {...}
>> B: Join(CatB, CatX) == add {...}
>> X: CatX == i
Hello,
On Fri, 21 Jul 2006 02:12:17 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
There is a difference in the semantic, but I cannot
remember that I have found a proper explanation of what
"Ident: SomeType == Dom" actually means (no "add" here).
In the above the value of 'Ident' *is* 'Dom
Hello Stephen,
first of all, thank you for sharing some insight about Aldor.
I love the approach that domain-constructing functions are _not_ treated
special, but the speciality is hidden in the context.
Awesome!
Although this can be found in the Aldor User Guide, I could not find it
before
Hello,
OK, I see now. It could be -- in the non functional setting -- that
a: NonFunctionalDomainConstructor Integer := something
b: NonFunctionalDomainConstructor Integer := otherthing
and NonFunctionalDomainConstructor exports an operation f(%, %), but I
still
*shouldn't* be able to call
Hello Martin,
On Tue, 16 May 2006 10:13:17 +0200, Martin Rubey
<[EMAIL PROTECTED]> wrote:
Where does it say that Dom(x) and Dom(y) should be the same, even if x
and y
are equal in some sense?
I guess nowhere. But typically, you'd expect it.
Consider
a: List Integer := [ 1 ];
b: List Int
Hello,
On Tue, 16 May 2006 15:08:16 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
DomA( a: List Integer ):with {...} == add {...}
a: List Integer := [ 1, 2, 3 ];
R == DomA( a );
a . 2 := 300;
S == DomA( a );
a still refers to the same memory location, but it is different. Would
R equal S?
Hello,
On Tue, 16 May 2006 00:35:36 +0200, Ralf Hemmecke
<[EMAIL PROTECTED]> wrote:
| System(): with {
|timestamp: Integer;
|cpuTemperature: Integer;
| } == add {
|timestamp: Integer == { obtain the timestamp somehow }
|cpuTemperature: Integer == { obtain the timestamp someho
Hello,
I'm
converned with the type system.
The type system allows for checking that expectations of functions are
met by their arguments. That checking, and reasoning in general,
requires that we can replace equals for equals. If I defined a
function with a given type (the type is evaluated to
Hello Gaby,
On Sun, 14 May 2006 20:56:09 +0200, Gabriel Dos Reis
<[EMAIL PROTECTED]> wrote:
If you're after a non-functional type system,
I think, we all agree that for any programming language, it is good to
have _non_ functional functions.
Just think about a system call time() behavin
Hello,
On Fri, 12 May 2006 14:19:19 +0200, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
Maybe it is possible to instantiate Dom(0) twice.
you will probably not have any luck with 0. It is too small. But what
about 1073741824?
For those who cannot convert dec to hex on the fly: "But what about
Hello,
Do you really want a type system whose language is not functional?
Actually, I haven't thought about this. I somehow have the feeling that
the Aldor compiler implements such a functional type language. But I
don't know whether this is on purpose.
I do not have this feeling. Quite on t
Hello Martin,
looks like I did not understand correctly, what you mean by matroid and
what you actually need.
However ...
I think that William Sit got it right
...you got a solution to your problem.
Are we going to meet on the workshop?
I hope so.
Kind regards,
Christian
__
Hello Martin,
> We have a category A with an operation op: % -> %. However, there
are natural
> subdomains of domains of A, which are no longer closed under op.
if I understood you correctly, you did not mean "closed under op" but
"op is a
partial function" -- which is a completely diffe
Hi Bertfried,
Category Matroid
expoerts dual
then
Category GraphMatroid
inherits Matroid
=>modifies dual -> dual= if has planar then dual else error
exports new functionality
thereby, you would demolish the semantics of the dual of Matroid.
I would strongly discourage from using su
Dear Martin,
We have a category A with an operation op: % -> %. However, there are
natural
subdomains of domains of A, which are no longer closed under op.
if I understood you correctly, you did not mean "closed under op" but "op
is a partial function" -- which is a completely different th
Hello,
great that you pop in -- you are not at RISC-Linz anymore, are you?
currently, i am still at RISC.
> I wrote that parser almost 1.5 years ago (I guess). I still have it
on some
> Backup if someone is interested. It was implemented in Aldor. I could
parse
> all source files I te
Hello,
[Aldor Parser in Aldor]
An Aldor parser written in Aldor?! I did not receive the rest
of the background of this email, but it certainly sounds
interesting. Could you forward a copy to the email list?
i do not want to mess up the mailing list with public posting of binary
files. Howev
49 matches
Mail list logo
