Aldor, Cayenne

[Lennart Augustsson]

"S.D.Mechveliani" wrote:

> To my
>
> >> (1) it is desirable to accommodate such features of Aldor language
> >> as types as values and dependent types
>
> Alastair David Reid <reid@cs.utah.edu> writes
>
> > You should take a look at Lennart Augustsson's Cayenne:
> >
> >  http://www.cs.chalmers.se/~augustss/cayenne/index.html
> >
> >
> > In the fullness of time, it'd be useful to hear back from you:
> >
> > What parts of Cayenne (that Haskell lacks) are useful for your system?
> > Which parts are a problem?
> > Which parts are of no use for what you're trying to do?
>
> First, download Aldor. It says it is coming within several weeks,
> but it is also available (as commercial) from-within Axiom.
> And try to program in Aldor and in Cayenne the above example with
> Zmod(n),  or similar, compute something for such domain, try other
> simple mathematical examples, and see, which programs
> _look more natural_ and which of them fail.
> Aldor has a large non-standard library - Axiom.
> Probably, this can be considered as certain guarantee for Aldor
> fitness. Cayenne has not such confirmation.

The aim of Cayenne and Aldor seem to be a little different.  There
are things you can do in one, but not the other.  (Aldor seems to lack
some features that makes it possible to make proofs in it.  I'm very
dubious if Aldor can be made to do this things without restricting the
language.)



> Year or two ago I dealt with Cayenne. Sent a couple of questions and
> notes. Then Cayenne people silenced. Probably, got tired to answer
> to silly newbie's questions (there were 3-4 letters). And I quitted,
> because was not able to work with this version of program. It
> behaved so, that I doubted whether it is going to grow into a needed
> tool.

There is no real development work going on with Cayenne, so it won't
grow into anything.