axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] Aldor and Axiom


From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] Aldor and Axiom
Date: 14 Sep 2006 14:58:48 +0200

Martin Rubey <address@hidden> writes:

| 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.

I tend to agree with Martin.  We should focus on either SPAD (make it
better) or Aldor (hopeless).

-- Gaby




reply via email to

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