[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Aldor and Axiom

From: Martin Rubey
Subject: Re: [Axiom-developer] Aldor and Axiom
Date: 14 Sep 2006 14:40:00 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3

Dear all,

I believe that we should *not* embark on designing yet another language. I
played enough with Aldor meanwhile to really appreciate the language - with
it's deficiencies.

Those of you inclined on working on the language:

PLEASE get started understanding the interpreter and possibly extend it to at
least understand dependent types, and/or make types first class objects.

Axiom would benefit a lot - no matter whether Aldor becomes free or not. This
is the one thing we need in any case!

If you prefer to rewrite the interpreter in a different language, go ahead. But
please don't design yet another one!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]