2 points about language
Alastair David Reid
23 Aug 2001 11:49:43 -0600
>>>>> "S" == S D Mechveliani <email@example.com> writes:
> Dear haskellers, I suggest you the two notes on the Haskell
> (1) it is desirable to accommodate such features of Aldor language
> as types as values and dependent types
You should take a look at Lennart Augustsson's Cayenne:
Quoting (most of) that web page:
Cayenne is a simple(?) functional language with a powerful type
system. The basic types are functions, products, and sums. Functions
and products use dependent types to gain additional power.
There are very few building blocks in the language, but a lot of
"syntactic sugar" to make it more readable.
There is no separate module language in Cayenne since the dependent
types allow the normal expression language to be used at the module
level as well.
The design of Cayenne has been heavily influenced by Haskell and
constructive type theory and with some things borrowed from Java.
The drawback of such a powerful type system is that the type checking
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?
Alastair Reid firstname.lastname@example.org http://www.cs.utah.edu/~reid/