Re: [Axiom-developer] Aldor and Lisp

[Gabriel Dos Reis]

Thank you very much for taking the time to offer a thorough answer.


"Page, Bill" <address@hidden> writes:

[...]

| > If not, what are the odds of creating a freely available compiler
| > that accepts Aldor programs?
| > 
| 
| Unless a major workforce of several knowledgeable compiler writers
| step forward who know lisp and have experience with SPAD in Axiom,
| I have serious doubts that it will be possible to write a new
| open source compiler that accepts Aldor programs. After all, Aldor
| is a complex very high level language - not so different from
| Haskell or Ocaml and it certainly took a major effort to implement
| usable compilers for those languages.

Indeed.  But the positive side of it is that those are now part of
common knowledge and it is not like everything has to be rediscovered
over again.  We have more foresight -- based on the accumulated knowledge
-- than they did when they started implementing those compilers :-)
And I bet the experience with Haskell or Ocaml or functional language
with dependent types will be valuable for implementing Aldor.  So,
while I agree with your points, we must also keep in fore that one
would not start totally "clueless"...

-- Gaby