[Axiom-developer] Literate Programming

Though it is not obvious, the book "Compiling with Continuations" by Andrew Appel (isbn 0-521-03311-X) is a perfect example of a literate program. It would be a great achievement for Axiom code to reach this level of quality. Tim ___ Axiom-developer mail

Re: [Axiom-developer] Literate programming

William, Back in the day I struggled to cross the great chasm, moving from real programming to "structured programming", i.e. not using GOTOs. Dijkstra was asking me to change a fundamental part of my thinking, to throw away the focus on the machine's BRANCH instruction, albeit in my high-level F

[Axiom-developer] Literate programming

This quote by Bill Thurston[1] makes it clear why we need to document the algorithms in Axiom (emphasis mine): Mathematical understanding does not expand in a monotone direction. Our understanding frequently deteriorates as well. There are several obvious mechanisms of decay. THE EXPERTS IN

[Axiom-developer] Literate Programming in the Large video

The Literate Programming in the Large video, which was a talk given at the Portland "Write the DOCS" conference is now online as an MP4. The audience members are corporate people writing documentation. http://axiom-developer.org/axiom-website/videos.html or directly at http://axiom-developer.org

Re: [Axiom-developer] literate programming in html

On Fri, 2012-01-20 at 18:53 +, Martin Baker wrote: > On Friday 20 Jan 2012 15:59:15 you wrote: > > How hard is this? It could hardly be easier. Send the single > > pamphlet file to another user and they have everything. > > Tim, > > Perhaps I'm too set in my ways or perhaps I'm missing someth

Re: [Axiom-developer] literate programming in html

On Friday 20 Jan 2012 15:59:15 you wrote: > How hard is this? It could hardly be easier. Send the single > pamphlet file to another user and they have everything. Tim, Perhaps I'm too set in my ways or perhaps I'm missing something but I think we are going to have to agree to disagree on this is

Re: [Axiom-developer] literate programming in html

On Fri, 2012-01-20 at 15:43 +, Martin Baker wrote: > On Friday 20 Jan 2012 11:59:52 Ralf Hemmecke wrote: > > It all depends on your tools. If there were a tool that puts every code > > chunk into a separate file but while editing shows you the chunks in the > > order you want, you wouldn't care

Re: [Axiom-developer] literate programming in html

On Friday 20 Jan 2012 11:59:52 Ralf Hemmecke wrote: > It all depends on your tools. If there were a tool that puts every code > chunk into a separate file but while editing shows you the chunks in the > order you want, you wouldn't care how your content is physically stored. Its just that the meth

Re: [Axiom-developer] literate programming in html

On Fri, 2012-01-20 at 10:57 +, Martin Baker wrote: > Does the code have to be physically in the same document as the documentation > to achieve the aims of literate programming? > > The analogy that I would make is with graphics in html, these are stored in > their own files so we can edit a

Re: [Axiom-developer] literate programming in html

On 01/20/2012 11:57 AM, Martin Baker wrote: Does the code have to be physically in the same document as the documentation to achieve the aims of literate programming? It all depends on your tools. If there were a tool that puts every code chunk into a separate file but while editing shows you

[Axiom-developer] literate programming in html

Does the code have to be physically in the same document as the documentation to achieve the aims of literate programming? The analogy that I would make is with graphics in html, these are stored in their own files so we can edit a .gif file or a .jpeg file or .png or .svg and so on each with t

Re: [Axiom-developer] Literate Programming

On Sat, 2011-12-24 at 12:56 -0600, Jay Edwards wrote: > Like this? http://brighterplanet.github.com/flight/impact_model.html My first reaction, after the first reading was "almost ok". The task is reasonably mathematical so it seems useful to show the equations. Unfortunately, at the end, I hav

[Axiom-developer] Literate Programming

Good Sir and Fellow Traveler, On Fri, 2011-12-23 at 03:33 -0800, Adam Getchell wrote: > Having received the benefit of your kind reply, I must confess to a > puzzlement which has vexed me ever since I read your missive. It is > this: how should I have read it so as to receive some knowledge or >

Re: [Axiom-developer] Literate Programming example

FYI: some time ago the Opensuse project used such a collaborative tool (http://www.co-ment.com) in order to get a shared mindset of its goals. This was the result, see how clicking on higlight words points to their comments: https://lite.co-ment.com/text/lNPCgzeGHdV/view/ On Sat, Nov 19, 2011 at 1

Re: [Axiom-developer] Literate Programming example

On Sunday, November 20, 2011 6:17:13 AM UTC-5, robermann79 wrote: > > FYI: some time ago the Opensuse project used such a collaborative tool > (http://www.co-ment.com) in order to get a shared mindset of its > goals. > This was the result, see how clicking on higlight words points to > their commen

Re: [Axiom-developer] Literate Programming example

On Saturday, November 19, 2011 2:37:48 PM UTC-5, TimDaly wrote: > > However, as Knuth points out and as I've already experienced, writing > a program in literate form vastly reduces the errors. There are two > causes I can find. > > First, if I have to write an explanation then I have to justify m

Re: [Axiom-developer] Literate Programming example

I loved that book. I taught from it at Vassar. It is well worth the price. On Sat, 2011-11-19 at 13:52 -0600, Raymond Rogers wrote: > It's been a long time but I believe I read > Anatomy of Lisp > John Allen > > As I recall it would be an example of "literate programing" in the sense > that every

Re: [Axiom-developer] Literate Programming example

It's been a long time but I believe I read Anatomy of Lisp John Allen As I recall it would be an example of "literate programing" in the sense that every piece of code had extensive explanation before and after; and could actually lift the code and implement it. I found it a revelation; he actuall

Re: [Axiom-developer] Literate Programming example

On Sat, 2011-11-19 at 14:35 +0100, Laurent PETIT wrote: > Hello, > > 2011/11/19 TimDaly > On Fri, 2011-11-18 at 20:02 -0800, Daniel Jomphe wrote: > > On Friday, November 18, 2011 7:17:08 AM UTC-5, TimDaly > wrote: > > Many of you asked me to show an example

Re: [Axiom-developer] Literate Programming -- Knuth interview

On Sat, 2011-11-19 at 16:11 +, Martin Baker wrote: > > Documentation and comment systems are not like this. They make the > > program organization "fit the machine". They talk about the code, and > > focus on line-by-line or file-by-file. They tend to work well with all > > kinds of "tools" lik

Re: [Axiom-developer] Literate Programming -- Knuth interview

> Documentation and comment systems are not like this. They make the > program organization "fit the machine". They talk about the code, and > focus on line-by-line or file-by-file. They tend to work well with all > kinds of "tools" like Eclipse, Javadoc, or Doxygen. I tend think of this as refere

Re: [Axiom-developer] Literate Programming -- Knuth interview

On Sat, 2011-11-19 at 10:17 +, Martin Baker wrote: > > If you feel that interleaving videos, animations, navigation, and any > > other tricks improves the "independence test" results then these > > techniques should be used. If, however, you are just trying to > > organize the material by some

Re: [Axiom-developer] Literate Programming -- Knuth interview

> If you feel that interleaving videos, animations, navigation, and any > other tricks improves the "independence test" results then these > techniques should be used. If, however, you are just trying to > organize the material by some random criteria (e.g. alphabetical > or as trees of logically g

Re: [Axiom-developer] Literate Programming -- Knuth interview

On Sat, 2011-11-19 at 08:42 +, Martin Baker wrote: > Tim, > > One issue that occurred to me on this subject. It seems to me the point of > HTML and hypertext is that they are not a linear book. What I like about this > is that the reader can start at a high level with a small and concise pag

Re: [Axiom-developer] Literate Programming -- Knuth interview

Tim, One issue that occurred to me on this subject. It seems to me the point of HTML and hypertext is that they are not a linear book. What I like about this is that the reader can start at a high level with a small and concise page but they can drill down to any level of detail they may need.

Re: [Axiom-developer] Literate Programming -- Knuth interview

On Fri, 2011-11-18 at 20:24 -0800, C Y wrote: > Tim, > > > > That's quite an interesting example! Is there a license on it? I can > see that being useful in a lot of scenarios as an introduction to the > idea of literate programming. > > > Cheers, > CY > License? Nope. You have my permis

Re: [Axiom-developer] Literate Programming -- Knuth interview

Sent: Friday, November 18, 2011 2:34 PM Subject: Re: [Axiom-developer] Literate Programming -- Knuth interview I just wrote an example of a literate program using HTML syntax. There is a professor at Dartmouth who is willing to talk to the class about it but found Knuth's version too confusing.

Re: [Axiom-developer] Literate Programming -- Knuth interview

I just wrote an example of a literate program using HTML syntax. There is a professor at Dartmouth who is willing to talk to the class about it but found Knuth's version too confusing. See http://axiom-developer.org/axiom-website/litprog.html In my opinion Knuth made the mistake of showing his ma

Re: [Axiom-developer] Literate Programming -- Knuth interview

I was just at BICA2011 and they both record the talks and are actually creating DVDs along with the collected slides. (They sold last year's DVDs at this years conference.) Some are talks are on the web site. I'm thinking along the line of a "text crawler" complemented by a relational data base

Re: [Axiom-developer] Literate Programming -- Knuth interview

On Mon, 2011-11-14 at 14:08 -0500, Eugene Surowitz wrote: > Will your talk and slides be available on the web? I gave a presentation at the Clojure Conj on Literate Programming which was fairly well received but there were no slides. I don't believe the talk was recorded. I have an article in the

Re: [Axiom-developer] Literate Programming -- Knuth interview

Will your talk and slides be available on the web? Long term objective excellent; getting there is the rub. It's ok at the developed and distributed level, but from the developer's ant eye view the toc and index are only as good as the choice of structure and the entry selection. There is also

Re: [Axiom-developer] Literate Programming -- Knuth interview

I prefer the fountain pen for novelistic efforts. The issue that aroused my question has to do with comments that appear now and then in the list about knowing what is where in the source code. The reference to tools really was intended to address the idea of the utility of a mechanism(s) that c

Re: [Axiom-developer] Literate Programming -- Knuth interview

Tools? The goal of literate programming is communicating from human to human. It is like writing a novel. All you need is a working Underwood typewriter and time. I tend to favor Latex because a lot of math is involved and Latex prints math well. But I'm presenting a talk about Literate Programmin

Re: [Axiom-developer] Literate Programming -- Knuth interview

That literate programming is fully justified for Axiom is, well, almost axiomatic. But the issue is more how to boost the ability to invert the process and reverse engineer non-literate code piles into literate documents. What, in your opinion, would be the most effective type of tool that could

[Axiom-developer] Literate Programming -- Knuth interview

> Yet to me, literate programming is certainly the most important thing > that came out of the TeX project. Not only has it enabled me to write > and maintain programs faster and more reliably than ever before, and > been one of my greatest sources of joy since the 1980s -- it has > actually been i

[Axiom-developer] Literate Programming -- Knuth interview

Knuth said: Literate programming is a very personal thing. I think it's terrific, but that might well be because I'm a very strange person. It has tens of thousands of fans, but not millions. In my experience, software created with literate programming has turned out to be significantly better t

Re: [Axiom-developer] Literate programming

Maybe COBOL already solves the problem which Literate Programming want to solve? ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Literate programming

Hi, just to be sure: are you are aware of Marginalia? https://github.com/fogus/marginalia Regards, Stefan ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Literate programming

Hi Tim, while I agree that good documentation is important for maintaining and developing further a given code base, I always wonder how literate programming deals with refactoring and larger restructuring. I mean, in basically all software projects I'm involved in, developers have a hard time in

Re: [Axiom-developer] Literate programming

I would gladly pay for such a thing to materialize on my screen; if it only took money to get that, I'm sure we'd all be willing to finance such an effort however we can. On Thursday, October 27, 2011 1:58:52 PM UTC-4, TimDaly wrote: > > So imagine a world where the eloquence of Rich Hickey was

Re: [Axiom-developer] Literate programming

On Fri, 2011-10-28 at 11:59 +0200, Tassilo Horn wrote: > Hi Tim, > > while I agree that good documentation is important for maintaining and > developing further a given code base, I always wonder how literate > programming deals with refactoring and larger restructuring. I mean, in > basically al

Re: [Axiom-developer] Literate programming

On Thu, 2011-10-27 at 20:11 -0400, Larry Johnson wrote: > My two favorite articles on Literate Programming are both from Donald > Knuth's book Literate Programming. One is "Computer Programming as an > Art", and the other is "Literate Programming". When I was preparing > to interview Knuth a bi

Re: [Axiom-developer] Literate programming

On Thu, 2011-10-27 at 00:17 -0700, Mark Engelberg wrote: > Tim, > > I recall that at some point you described your setup for doing Clojure > literate programming, and if I recall correctly, you were primarily > working in LaTeX, relying on incremental compilation to test little > snippets of code

[Axiom-developer] Literate programming

I see that my Literate Programming session is beginning to gain some traction. I would encourage you to bring examples. We can discuss the merits and possibly gain some new insights. If nothing else, please sign up for the Literate Software session at Clojure-Conj. I promise to keep it short. Lite

[Axiom-developer] Literate Programming and Reproducible Results

The Ecole Polytechnique Federale De Lausanne has introduced an online journal fore reproducible research at: The introductory headline reads: Have you ever tried to reproduce the results presented in a research paper? For many of our current publications, this would unfo

Re: [Axiom-developer] literate programming, Claerbout's Insight and Doyen

On 07/29/2007 06:29 AM, [EMAIL PROTECTED] wrote: Now that memory kicks in I recall that one original motivation for the Doyen project was to create particular "snapshots" for a particular piece of research that could always be reproduced. Jose has carefully documented the process of creating a

Re: [Axiom-developer] literate programming and Claerbout's Insight

On Sun, 29 Jul 2007, Alasdair McAndrew wrote: It may be that the negative views of Axiom are simply due to Axiom being very poorly (read "not at all") marketed - there are no elementary books about the use of Axiom, and if you go to the Axiom website, it is hard to find introductory beginner's or

Re: [Axiom-developer] literate programming and Claerbout's Insight

On Sun, 29 Jul 2007, C Y wrote: | | --- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: | | > On Sun, 29 Jul 2007, C Y wrote: | > | > [...] | > | > | > Currently, Axiom isn't. But if its proponents are convinced that | > | > they do should their best to chase away "novices", then the | > system i

Re: [Axiom-developer] literate programming and Claerbout's Insight

--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > On Sun, 29 Jul 2007, C Y wrote: > > [...] > > | > Currently, Axiom isn't. But if its proponents are convinced that > | > they do should their best to chase away "novices", then the > system is > | > doomed to premature death. > | > | I don't s

Re: [Axiom-developer] literate programming and Claerbout's Insight

On Sun, 29 Jul 2007, C Y wrote: [...] | > Currently, Axiom isn't. But if its proponents are convinced that | > they do should their best to chase away "novices", then the system is | > doomed to premature death. | | I don't see that we are chasing away novices - we ARE setting goals | that are

Re: [Axiom-developer] literate programming and Claerbout's Insight

On Sun, 29 Jul 2007, Stephen Wilson wrote: [...] | How does noticing this help the situation? Are new users more likely | to join in and help improve the project when they get the impression | that the system `just works'? On first order, yes. I look at other systems, such as GCC, linux, GDB,

Re: [Axiom-developer] literate programming and Claerbout's Insight

--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > for many, that is not a practical difference -- since they are > already using commercial systems. For many, yes. If functionality is all that is important and the budget is there, commercial systems are the current obvious choice - that's why t

Re: [Axiom-developer] literate programming and Claerbout's Insight

Hi Bill, Just trying in these posts to get a few concrete suggestions on how the problems raised can be solved. [...] > ... the majority of the new Axiom users would seem to prefer to be > able to use Axiom in essentially the same way as if it were a > commercial product. If it doesn't work rath

Re: [Axiom-developer] literate programming and Claerbout's Insight

--- Bill Page <[EMAIL PROTECTED]> wrote: > I do not agree that open source is a completely "different ballgame". > As Tim has explained even when Axiom was a research project at IBM is > was quite freely given out to those researchers who had a real > interest in it. Well, I can't speak for othe

Re: [Axiom-developer] literate programming and Claerbout's Insight

Hello Gaby, Is it your contention that Axiom should be more devoted to the perpetual task of meeting the common consensus on what qualifies as `state of the art', as opposed to the perpetual task of trying to redefine the meaning of the term? I can understand that having a CAS today which working

Re: [Axiom-developer] literate programming and Claerbout's Insight

On Sun, 29 Jul 2007, C Y wrote: | | --- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: | | > On Sun, 29 Jul 2007, C Y wrote: | > | > | Sure, as a commercial product. Open source is a different | > | ballgame; | > | > What are the concrete differences? | | For one thing, there is no legal proble

Re: [Axiom-developer] literate programming and Claerbout's Insight

--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > On Sun, 29 Jul 2007, C Y wrote: > > | Sure, as a commercial product. Open source is a different > | ballgame; > > What are the concrete differences? For one thing, there is no legal problem with fixing problems yourself and distributing the re

Re: [Axiom-developer] literate programming and Claerbout's Insight

On Sun, 29 Jul 2007, Bill Page wrote: | I think you are wrong. You should take a very close look at the large | number of developers in the Sage project and the kind of (mostly | leading edge) things they are doing. This is a very good point. I'm very impressed by the diligence with which peopl

Re: [Axiom-developer] literate programming and Claerbout's Insight

On 7/29/07, C Y <[EMAIL PROTECTED]> wrote: > > --- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > > > On Sun, 29 Jul 2007, C Y wrote: > > > > | Um. I can understand the lack of seamless integration, but why > > | would Axiom's history cause a negative reaction? > > > > Well, this is something one s

Re: [Axiom-developer] literate programming and Claerbout's Insight

On Sun, 29 Jul 2007, C Y wrote: | Sure, as a commercial product. Open source is a different ballgame; What are the concrete differences? The algorithms have not gotten better, for example. The documentation is no really better than what they had before; windows support is worse. [...] | > |

Re: [Axiom-developer] literate programming and Claerbout's Insight

--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > On Sun, 29 Jul 2007, C Y wrote: > > | Um. I can understand the lack of seamless integration, but why > | would Axiom's history cause a negative reaction? > > Well, this is something one should oneself ask directly to the > interested people. D

Re: [Axiom-developer] literate programming and Claerbout's Insight

On Sun, 29 Jul 2007, C Y wrote: | Um. I can understand the lack of seamless integration, but why would | Axiom's history cause a negative reaction? Well, this is something one should oneself ask directly to the interested people. Do you believe Axiom's history is not a factor to Tim's committme

Re: [Axiom-developer] literate programming and Claerbout's Insight

On Sun, 29 Jul 2007, Alasdair McAndrew wrote: | Another problem - which I see as major - is that there is no native | windows version with documentation (HyperDoc) and graphics. I agree. -- Gaby ___ Axiom-developer mailing list Axiom-developer@nongnu

Re: [Axiom-developer] literate programming and Claerbout's Insight

On Sun, 29 Jul 2007, Alasdair McAndrew wrote: | It may be that the negative views of Axiom are simply due to Axiom | being very poorly (read "not at all") marketed - there are no | elementary books about the use of Axiom, and if you go to the Axiom | website, it is hard to find introductory beginn

Re: [Axiom-developer] literate programming and Claerbout's Insight

--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > [EMAIL PROTECTED] writes: > > [...] > > | Axiom has the opportunity to be the base of computational > mathematics. > > When it manages to meet the needs of the working computational > mathematicians. It cannot do that by building self-made ghe

Re: [Axiom-developer] literate programming and Claerbout's Insight

It may be that the negative views of Axiom are simply due to Axiom being very poorly (read "not at all") marketed - there are no elementary books about the use of Axiom, and if you go to the Axiom website, it is hard to find introductory beginner's or tutorial articles. Contrast this last with Max

Re: [Axiom-developer] literate programming and Claerbout's Insight

[EMAIL PROTECTED] writes: [...] | Axiom has the opportunity to be the base of computational mathematics. When it manages to meet the needs of the working computational mathematicians. It cannot do that by building self-made ghetto with an autistic attitute of the workers. I have spoken to many

Re: [Axiom-developer] literate programming, Claerbout's Insight and Doyen

Tim, It is still the idea of the project ;-). I do not know if you ever read this post by Emil Sit, http://www.emilsit.net/blog/archives/tools-for-repeatable-research/ . He actually mentions you and the Doyen idea for what he calls repeatable research. On 7/29/07, [EMAIL PROTECTED] <[EMAIL PROTE

Re: [Axiom-developer] literate programming

Hi Tim, > This paper contains clear arguments for literate programming. > > and appears to have been done in 1995. We seem to be a bit behind > the curve on this idea. I almost give you credit for it, never heard of the term until yo

[Axiom-developer] literate programming, Claerbout's Insight and Doyen

Now that memory kicks in I recall that one original motivation for the Doyen project was to create particular "snapshots" for a particular piece of research that could always be reproduced. Jose has carefully documented the process of creating a Doyen CD so a paper could be published on the CD al

[Axiom-developer] literate programming and Claerbout's Insight

>From Buckheit, Jonathan B., Donoho, David L. "WaveLab and Reproducible Research" Jon Claerbout's Insight An Article about computational science in a scientific publication is not the scholarship itself, it is merely advertising

[Axiom-developer] literate programming

This paper contains clear arguments for literate programming. and appears to have been done in 1995. We seem to be a bit behind the curve on this idea. Tim ___ Axiom-developer mailing list

[Axiom-developer] Literate programming thoughts

I happened upon the discussions about literate programming on this mailing list while figuring out why so many people were looking at my "dsbweb" entry on my blog. I've had some e-mail exchanges with Tim, who suggested that I might re-post our exchanges to the list. Rather than re-post without c

[Axiom-developer] Literate Programming

The latest changeset introduces two related changes, gclweb and axiom.sty. Together these changes allow optional syntactic changes to pamphlets. These changes will completely eliminate the need to weave files since now a pamphlet file can be a valid latex file. Tangle is the only remaining comman

[Axiom-developer] Literate Programming

Having reread what I wrote about David Bindel's literate tool dsbweb I want to clarify that I classified the tool as semi-literate. I was not, and never intended to imply, that David was semi-literate. That is reasonably clear but I just want to make it exactly clear. Tim ___

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

[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

[Axiom-developer] Literate Programming

Martin, > I will propose a model I could live with on friday morning. And hopefully on the following monday :-) I'm open to suggestion, especially if it smooths the working environment. I've been trying to get the SVN running smoothly by ensuring that every update is a changeset, that is, a sing

Re: [Axiom-developer] Literate Programming

[EMAIL PROTECTED] writes: > Ralf, > > > Do you think that I believe what you are claiming? > > Look at my email replies and look at the headers. > Normal replies have an "In-Reply-To: field which emacs RMAIL copies > when you click reply. See how many you find. Ah, that's why! I often wondered

[Axiom-developer] Literate Programming

Ralf, > Do you think that I believe what you are claiming? Look at my email replies and look at the headers. Normal replies have an "In-Reply-To: field which emacs RMAIL copies when you click reply. See how many you find. t ___ Axiom-developer mailin

[Axiom-developer] Literate Programming

Ralf, > don't you think you should change a bit yourself? It's worse than you believe, actually. All incoming email is in emacs RMAIL on one machine and all outgoing email is sent from emacs on another machine. So I actually retype emails when I reply. The reasons are numerous, pointless, and his

[Axiom-developer] Literate Programming

Ralf, > Why don't you simply write text like that to a MathAction page? I don't know, actually. Probably because the initial comment comes in email. I'm 100% email driven, both for Axiom and work so I tend to react to the linear stream. Besides, when I do have stuff on MathAction (like the 2004 g

[Axiom-developer] Literate Programming

didier, > I don't know much about lp but maybe it isn't catching up because the > tools are too limited and/or too combersome for "normal users"? I don't think it is a tools issue at the core of the problem. I think the problem is that it is hard work. To write for the machine I only have to conv

Re: [Axiom-developer] Literate Programming

Tim, Why don't you simply write text like that to a MathAction page? You can extend that with links and everything. And then each time somebody is asking what you think literate programming is and why this is important for Axiom, you could simply point to that URL. That would safe you hours f

[Axiom-developer] Literate Programming

didier, I looked at the link, read the code, and read the documentation. Kudos to David. He's documenting his code. And he's using what I'd characterize as a semi-literate style. I'd fit him into a scale that looks something like: Illiterate: 0) raw code 1) raw code with minor comments 2)

[Axiom-developer] Literate programming and Provisos

Up until we made an agreement with NAG, Scratchpad, the pre-Axiom system, was being developed primarly on the IBM/RS6000. However, I ported it to run on everything I could touch including several different lisps (allegro, golden common, zetalisp, symbolics common lisp, akcl, lispvm, spicelisp (cmuc

[Axiom-developer] Literate programming and Provisos

Eh? I sent you the reference to the book so that you could see an example of what I consider modern literate programming practice that has been published as a textbook. Stephen is writing a new parser and possibly a new compiler. I wanted to motivate him to consider using literate documentation in

[Axiom-developer] literate programming

Camm, Do you have any interest in making a literate form of GCL? Tim ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] literate programming

i'm having a side-debate, not on this list, with someone about the use of tex and noweb as opposed to another tool, like javadoc. i think it's worth repeating my portion of the discussion here as it goes to the 30 year horizon issue and my basic motivation to rewrite axiom in pamphlets. for the pu

[Axiom-developer] [Literate Programming]

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] _

[Axiom-developer] [Literate Programming] (new)

Changes http://wiki.axiom-developer.org/LiterateProgramming/diff -- The standard form for all Axiom programs and documentation is the noweb literate programming extension of LaTeX (called "pamphlet files" in Axiom terminology). Pamphlet files contain both documentation and the program code itself.