Re: [Axiom-developer] Literate Programming

[EMAIL PROTECTED] writes: [...] | I don't see that Axiom is breaking any new ground. GHC -- probably the largest Haskell application on the planet, that inspires almost all Haskellers -- is not dogmatic about LHS and its syntactic format. In fact, the working Haskellers of GHC are not dogmatic

Re: [Axiom-developer] Unions in Spad

=--- union-test.spad )abbrev domain BAR Bar Bar() : Exp == Impl where Exp == with inj : Integer -> % inj : String -> % prj : % -> Integer Impl == add Rep := Union(tag1: Integer, tag1: String) inj (n : Integer) : % == [n] inj (s : String) : % == [s]

Re: [Axiom-developer] Unions in Spad

William Sit wrote: > In the proposed IndexedUnion, what is missing is the Rep:= Record[index:I, > value: > g(i)]. Actually, this can probably be similated by Record(i:I, x:Any) to avoid dependent types. However, there is another problem: the signature of the index map g: I->List Se

Re: [Axiom-developer] Unions in Spad

On 7/13/07, William Sit <[EMAIL PROTECTED]> wrote: .. Whatever the primitive types are, the important thing is that there be a well-designed user interface (exported functions) on par with all other algebra code. Right now, Tuple and Union are "inaccessible" from the algebra layer without going

Re: [Axiom-developer] Literate Programming

[EMAIL PROTECTED] writes: | Second, it appears that LHS files do not have chunks. There is no chunks in LHS. |. Do the "module" and "import" statments have to come first? Yes -- see the Haskell Report. http://haskell.org/onlinereport/intro.html [...] | There is also a lhs2TeX (i.

Re: [Axiom-developer] Unions in Spad

Stephen Wilson wrote: > I agree that the challenge is great. Perhaps if we can get an > IndexedUnion implemented we can work together to get some good > documentation together? You are far more capable of writing for the > mathematically inclined reader, and I would hope to be able to > contribu

Re: [Axiom-developer] Literate Programming

Hello, I would like to add a few comments: First, pamphlet files as we use them in the Axiom project, from my understanding, are subject to possibly radical change. So even though I have enthusiasm for the pamphlet concept, I have reservations about promoting the format for use by other projects

[Axiom-developer] Literate Programming

> Just soliciting opinions -- would well documented GCL > 1) carry function documentation strings around in the image >accessible via describe > 2) have info pages searchable by describe > 3) have lisp comments in the source > 4) be written in pamphlet Yes, to all of the above, although you m

[Axiom-developer] Literate Programming

In investigating the use of LP in Haskell I came across this example: This is interesting from a few perspectives. First, it shows a working example of a literate haskell (LHS) file. I notice that the LHS style is very similar to wha

Re: [Axiom-developer] Unions in Spad

William Sit <[EMAIL PROTECTED]> writes: > Stephen Wilson wrote: > > > You never cease to amaze me with your keen insights! > > Thanks. Unfortunately, in Axiom, I have found that the simpler things look, > the > more difficult it is to analyse. (This is one reason I find literate > programming

Re: [Axiom-developer] Literate Programming

Just soliciting opinions -- would well documented GCL 1) carry function documentation strings around in the image accessible via describe 2) have info pages searchable by describe 3) have lisp comments in the source 4) be written in pamphlets How to integrate with the lisp functions apropos, docu

Re: [Axiom-developer] Literate Programming

[EMAIL PROTECTED] writes: [...] | Literate Haskell style is supported by typical Haskell environments. | In this approach, the code-comment relation is reversed. Normally the | code has primacy, and the comments are introduced by a special syntax, | as if in afterthought. In the literate appro

Re: [Axiom-developer] Unions in Spad

Stephen Wilson wrote: > You never cease to amaze me with your keen insights! Thanks. Unfortunately, in Axiom, I have found that the simpler things look, the more difficult it is to analyse. (This is one reason I find literate programming impossible to achieve. If we are still having problems unde

Re: [Axiom-developer] Re: debugging

Greetings! Again, I get --->-->PlaneAlgebraicCurvePlot(constructor): Unexpected HT command: \indented "\\indented{1}{Plot a NON-SINGULAR plane algebraic curve \\spad{p}(\\spad{x},{}\\spad{y}) = 0.} Author: Clifton \\spad{J}. Williamson Date Created: Fall 1988 Date Last Updated: 27 April 1990 Ke

Re: [Axiom-developer] 2.7 build

Greetings! Waldek Hebisch <[EMAIL PROTECTED]> writes: > )set break break > )lisp (si::use-fast-links nil) > )read "boo1.input" > > and the segfault went away -- this stage finished without problems. > OK, am trying to reproduce... > In case of segfault I doubt that a small example is possibl

Re: [Axiom-developer] Unions in Spad

On Thu, 12 Jul 2007, Stephen Wilson wrote: | I believe that it would | be worth while to consider the `static typing where possible, dynamic | typing where necessary' approach to language design. I think we all agree on that. The issue -- a very toug

Re: [Axiom-developer] Unions in Spad

Dear William, You never cease to amaze me with your keen insights! I read your post over a few times, and I believe I have a grasp on the issues. I am sightly pressed for time, so Id like to just comment on a few points for now. William Sit <[EMAIL PROTECTED]> writes: [...] > The above specifi

Re: [Axiom-developer] 2.7 build

Greetings, and thanks once again for a great report! Should be fixed now -- please let me know if problems persist. Take care, Stephen Wilson <[EMAIL PROTECTED]> writes: > Camm Maguire <[EMAIL PROTECTED]> writes: > [...] > > > The second problem is that the function |ICformat| apparently is > >

[Axiom-developer] Literate Programming

An extended quote from: Mills, Bruce "Theoretical Introduction to Programming" Springer-Verlag 2006 ISBN 1-84628-021-4 pp 10-11 Notion 5: Literate Programming Donald Knuth once said, ... when you write a program think of it primarily as a work of literature. To program in computing is to

Re: [Axiom-developer] 2.7 build

> Greetings! > > Waldek Hebisch <[EMAIL PROTECTED]> writes: > > > I am now testing yesterday gcl-cvs. I have set up safety to 3. I hit > > two problems. One is segfault -- it went away when I tried to debug > > it: > > > > > > )compile "RADCAT.spad" > > > > Segmentation violation: c stack o

Re: [Axiom-developer] 2.7 build

Camm Maguire <[EMAIL PROTECTED]> writes: [...] > > The second problem is that the function |ICformat| apparently is > > miscompiled, Lisp code differs only trivially from code in 2.6.8 > > build. In particular at the beggining we have: > > > > (DEFUN |ICformat| (|u|) > > (PROG (|v| |l'| |l1| |l

Re: [Axiom-developer] 2.7 build

Greetings! Waldek Hebisch <[EMAIL PROTECTED]> writes: > I am now testing yesterday gcl-cvs. I have set up safety to 3. I hit > two problems. One is segfault -- it went away when I tried to debug > it: > > > )compile "RADCAT.spad" > > Segmentation violation: c stack ok:signalling error >

Re: [Axiom-developer] Literate Programs

[EMAIL PROTECTED] writes: [...] | It is trivially easy to complain about anything when you haven't | seriously tried to use the technology. True. It is equally easy to dismiss review under the name of "you haven't seriously tried", when in fact the reviewer has tried the technology and many oth

Re: [Axiom-developer] Unions in Spad

Stephen Wilson wrote: > Main question is _why_ they [hybrid union] might be desirable. > Spad does not support them. Aldor might in theory, but only in > theory. > [...] > > Do you have an argument for `hybrid' Unions? Gabriel Dos Reis wrote: > In general, I'm of the opinion that the language sh

[Axiom-developer] Literate Programs

Cliff, Since you and others, like Ralf, have actually TRIED to write literate programs your criticisms carry weight. You have experience. I note that those reviews seem to be at least semi-favorable. I posted a list of half-a-dozen literate books. I find them immensely readable and very insightf

Re: [Axiom-developer] Axiom, FriCAS, forks and teeth

--- Bill Page <[EMAIL PROTECTED]> wrote: > > As I understand it, bookvol5 is nowhere near completion. What is > > your take on dhmatrix? As I understand it that file is closer to a > > "proper" literate document. Or, for that matter, what about > > cl-web? > > I think dhmatrix as a literate d

Re: [Axiom-developer] Axiom, FriCAS, forks and teeth

On 7/12/07, C Y wrote: ... Gaby wrote: > And the ones that look > advanced documentation look to me poorer than non-pamphletized > documentation -- e.g. I have far less trouble reading > and trying to undestand SBCL source code than reading and > understanding bookvol5 and friends and the rest o

Re: [Axiom-developer] 2.7 installation

Camm Maguire wrote: > Greetings! My apologies -- obviously I'm testing with the source tree > in place. It should be fixed now. Please let me know if problems > persist. > The latest cvs version installs fine. Thanks. -- Waldek Hebisch [EMAIL PROTECTED]

Re: [Axiom-developer] Axiom, FriCAS, forks and teeth

Gabriel Dos Reis wrote: > Doug Stewart <[EMAIL PROTECTED]> writes: > > [...] > > | Now look at the undocumented or poorly documented code and try changing it! > | I think Tim's comments of writing for the humans that will have to > | change- improve it, is fundamental. I gust have to look at some

Re: [Axiom-developer] 2.7 build

I am now testing yesterday gcl-cvs. I have set up safety to 3. I hit two problems. One is segfault -- it went away when I tried to debug it: )compile "RADCAT.spad" Segmentation violation: c stack ok:signalling error >> System error: Condition in MAKE-INPUT-FILENAME [or a callee]: INTERN

Re: [Axiom-developer] Axiom, FriCAS, forks and teeth

Doug Stewart <[EMAIL PROTECTED]> writes: [...] | Now look at the undocumented or poorly documented code and try changing it! | I think Tim's comments of writing for the humans that will have to | change- improve it, is fundamental. I gust have to look at some of | my code written 20 years ago to

Re: [Axiom-developer] Axiom, FriCAS, forks and teeth

Jay Belanger <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | ... | > | In the announcement of the fork, Waldek quotes Tim as saying | > | that literate programming was a primary goal of the Axiom project, and | > | if somebody wanted to get somewhere faster that they s