Re: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Gabriel Dos Reis
"Page, Bill" <[EMAIL PROTECTED]> writes: | On Tuesday, October 18, 2005 6:43 PM Gaby wrote: | > | > "Page, Bill" <[EMAIL PROTECTED]> writes: | > | > | ... Aldor is a complex very high level language - not so | > | different from Haskell or Ocaml and it certainly took a major | > | effort to impl

RE: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Page, Bill
On Tuesday, October 18, 2005 10:21 PM Camm Maguire wrote: > > Bill Page writes: > > > > I think it would help if some of the other subscribers to the > > axiom-developer list were to contact Steven Watt and make a > > similar argument. I understand that he is busy with other > > research (aren't

RE: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Page, Bill
On Tuesday, October 18, 2005 10:15 PM Camm Maguire wrote: > > Bill Page writes: > > > > In fact to take best advantage of this knowledge, perhaps we > > might seriously consider the possibility of writing "new Aldor" > > in a language like Ocaml. > > > > Can't believe this thread has come full

[Axiom-developer] [noweb] (new)

2005-10-18 Thread Bill Page
Changes http://wiki.axiom-developer.org/Noweb/diff -- NAME notangle, noweave, nountangle - noweb, a literate- programming tool SYNOPSIS notangle [-Rrootname ...] [-filter command] [-L[format]] [file] ... nountangle [-ml|-m3|-c|-c++|-awk|-tex|-f77|-f90] [-Rr

Re: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Camm Maguire
Greetings! "Bill Page" <[EMAIL PROTECTED]> writes: > Camm, what do you mean by "GCL lisp interface to flex and > bison"? These are external programs that produce "C" code. > Do you just mean creating the bindings that would allow the > generated parser code to be called from lisp? Well, I meant

Re: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Camm Maguire
Greetings! "Page, Bill" <[EMAIL PROTECTED]> writes: > On Tuesday, October 18, 2005 6:43 PM Gaby wrote: > > > > "Page, Bill" <[EMAIL PROTECTED]> writes: > > > > | ... Aldor is a complex very high level language - not so > > | different from Haskell or Ocaml and it certainly took a major > > | ef

Re: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Camm Maguire
Greetings! "Page, Bill" <[EMAIL PROTECTED]> writes: > On Tuesday, October 18, 2005 2:25 PM Gabriel Dos Reis wrote: > > > > Bill Page writes: > > > > [...] > > > > | Although Aldor is still not open source > > > > Is there a hope that it will ever be? > > I think there is still a good chance

[Axiom-developer] [Literate Programming]

2005-10-18 Thread Bill Page
Changes http://wiki.axiom-developer.org/LiterateProgramming/diff -- ??changed: -the noweb literate programming extension of LaTeX (called the [noweb] literate programming extension of LaTeX (called -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED] _

RE: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Page, Bill
On Tuesday, October 18, 2005 6:43 PM Gaby wrote: > > "Page, Bill" <[EMAIL PROTECTED]> writes: > > | ... 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.

[Axiom-developer] [#102 solve(sinh(z)=cosh(z), z) ] "foo"/list is a BOOT construction

2005-10-18 Thread Bill Page
Changes http://page.axiom-developer.org/zope/mathaction/102SolveSinhZCoshZZ/diff -- This construct occurs frequently in the BOOT code in src/interp so I guess that this is actually a carry-over from the BOOT language. In http://wiki.axiom-developer.org/axiom--test--1/src/algebra/Aggcat2Spad 'reduc

Re: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Gabriel Dos Reis
Thank you very much for taking the time to offer a thorough answer. "Page, Bill" <[EMAIL PROTECTED]> 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

RE: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Page, Bill
On Tuesday, October 18, 2005 2:25 PM Gabriel Dos Reis wrote: > > Bill Page writes: > > [...] > > | Although Aldor is still not open source > > Is there a hope that it will ever be? I think there is still a good chance that Aldor will be licensed for open source. I called Steven Watt again toda

Re: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Peter Broadbery
On Tue, 2005-10-18 at 10:40 -0400, Camm Maguire wrote: > Greetings! > > Peter Broadbery <[EMAIL PROTECTED]> writes: > > > On Sat, 2005-10-15 at 11:10 +0200, Martin Rubey wrote: > > > Dear Camm, Cliff, *, > > > > > > > If there's a rewrite of Spad using a little more of aldor, then I'd also > >

Re: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Gabriel Dos Reis
"Bill Page" <[EMAIL PROTECTED]> writes: [...] | Although Aldor is still not open source Is there a hope that it will ever be? If not, what are the odds of creating a freely available compiler that accepts Aldor programs? -- Gaby ___ Axiom-developer

RE: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Bill Page
On October 18, 2005 11:30 AM C Y wrote: > > > > Heard good things about Zebu, but no direct experience. > > That's this one? http://www.cliki.net/Zebu Does it work with > GCL? There might be some confusion with license issues, judging > by the Cliki discussion, but it sounds like a simple que

RE: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Bill Page
On October 18, 2005 10:40 AM Camm Maguire wrote: > > Peter Broadbery writes: > > Anyway, just thought I'd offer some support. Anyone know > > of a lisp parser generator? > > > > Heard good things about Zebu, but no direct experience. Had > an idea once about a GCL lisp interface to flex and bis

Re: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread C Y
--- Camm Maguire <[EMAIL PROTECTED]> wrote: > Greetings! > > Martin Rubey <[EMAIL PROTECTED]> writes: > > > So I'd *rather* go the other way: replace Boot by Lisp. The Lisp > > Community is rapidly growing, and it would be a shame not to be > > able to connect with them. I am absolutely convinc

Re: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread C Y
--- Camm Maguire <[EMAIL PROTECTED]> wrote: > > Anyway, just thought I'd offer some support. Anyone know of a lisp > > parser generator? > > Heard good things about Zebu, but no direct experience. That's this one? http://www.cliki.net/Zebu Does it work with GCL? There might be some confusi

Re: [Axiom-developer] Aldor and Lisp

2005-10-18 Thread Camm Maguire
Greetings! Peter Broadbery <[EMAIL PROTECTED]> writes: > On Sat, 2005-10-15 at 11:10 +0200, Martin Rubey wrote: > > Dear Camm, Cliff, *, > > > > If there's a rewrite of Spad using a little more of aldor, then I'd also > be interested in helping occasionaly (unless a really freely available > Al

[Axiom-developer] [#69 sqrt(-1/abs(x))-1/sqrt(-abs(x))]

2005-10-18 Thread kratt6
Changes http://wiki.axiom-developer.org/69Sqrt1AbsX1SqrtAbsX/diff -- Just for the archive, here is the patch:: --- /home/rubey/axiom/mnt/linux/src/algebra/algfunc.spad 2004-05-21 18:51:30.0 +0200 +++ algfunc.spad 2004-05-25 13:39:19.0 +0200 @@ -431,9 +431,20 @@

[Axiom-developer] [#102 solve(sinh(z)=cosh(z), z) ]

2005-10-18 Thread kratt6
Changes http://page.axiom-developer.org/zope/mathaction/102SolveSinhZCoshZZ/diff -- ??changed: -"append"/[solve1Sys(plist, lvar) for plist in trianglist] - "append"/[solve1Sys(plist, lvar) for plist in trianglist] -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTE

[Axiom-developer] [#102 solve(sinh(z)=cosh(z), z) ]

2005-10-18 Thread kratt6
Changes http://page.axiom-developer.org/zope/mathaction/102SolveSinhZCoshZZ/diff -- What it does is easily explained: '"foo"/l' maps the function 'foo' over the list 'l'. However, it appears that it doesn't use reduce but rather some lisp primitive. It is hard to trace, since it doesn't work in t