Lambda the Ultimate

Hello all!

I am thinking of writing a research article on typesafe DSLs in Java-like languages. My first (informal) post is available here. I have one more case study in the works, which shows a bit different aspects of typesafe DSLs. Do you know of similar research done for Java-like languages and what conference/journal would you suggest for publication?

Jevgeni Kabanov

The network of Aldor users and developers at:

• http://algebraist.crowdvine.com

would like to promote the development and use of the Aldor programming language by facilitating the interaction between developers and users of the language. Readers of this forum are cordially invited to join this new community.

Aldor is a programming language with an expressive type system well-suited for mathematical computing and which has been used to develop a number of computer algebra libraries. Originally known as A#, Aldor was conceived as an extension language for the Axiom system, but is now used more in other settings.

In Aldor, types and functions are first class values that can be constructed and manipulated within programs. Pervasive support for dependent types allows static checking of dynamic objects. What does this mean for a normal user? Aldor solves many difficulties encountered in widely-used object-oriented programming languages. It allows programs to use a natural style, combining the more attractive and powerful properties of functional, object-oriented and aspect-oriented styles.

(aldor.org)