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. After I reach Aldor, I could try to provide you with examples - if you ask of this. 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. Regards, ----------------- Serge Mechveliani mechvel@botik.ru