Your efforts are not for nought; however, you missed the same thing that Knuth missed:
The AXIOM/FRICAS/OpenAXIOM situation is the inverse problem to working with an already literate program. The panAXIOM problem is how to create a literate program from an pre-literate one. Knuth fudged this with the comment (somewhere) that you throw the first version away; NOT an panAxiom option. Knuth really had no way of starting with a massive program in many files and deriving the literate result. Which is roughly the equivalent to finding your self in a 747 at 35,000 feet and needing to change out an engine without maintenance manuals. What you have described is analytic phases rather than synthetic and synoptic operations: disassembling existing pamphlets into sub-component files and directories. The pieces that are missing and that need to be added do the opposite, as well as more of the the direction that you were going. The synoptic view requires creation of a single data base of everything needed to build the system that has been analyzed down to, at least, the syllabic level; it needs to contain every reference to every character string down to every syllable. A click/select operation needs to be able to display all lines of text of a particular object/character string utterly independent of "language" since large codebases are multilingual. Cheers, Gene On 8/6/2013 4:06 AM, Martin Baker wrote: > On 5 August 2013 14:20, Waldek Hebisch wrote: > > >> I think that we should get rid of noweb and declare > >> past attempt at literate programming as a failure. > >> More precisely, noweb markup is causing troubles. > >> They are not big troubles, but AFAICS we are getting > >> essentially no value from noweb so why bother with > >> it? > > On 06/08/13 03:06, Bill Page wrote: > > > Before giving up entirely on the goal of better documentation however > > I think we need to consider alternatives. > > Some time back I started an attempt at an IDE for FriCAS > http://www.euclideanspace.com/prog/es/ > There wasn't any interest so I didn't take it any further, however one part > of the > code may be of some interest here. > > There is some code, shown here: > http://www.euclideanspace.com/prog/es/user/ > which was intended to be a one-off pre-processor so that I could attempt to > parse > SPAD, what this pre-processor does is: > > 1) Go through a directory (such as fricas/src/algebra) looking for files > called > *.spad.pamphlet > 2) If if finds a match then create a directory of the same name. > 3) Then scan through the file. > 4) When it finds category, domain or package code (starting like: <<package > NONE1 > NoneFunctions1>>= and ending with @) it puts them in separate .SPAD files in > the > directory it has just created. > 5) Everything else in the file is assumed to be modified latex and converted > to HTML. > > So the end result is a directory, for each pamphlet file, containing multiple > SPAD > files and one HTML file. > > (The preprossessor can also do other stuff like adding curly brackets and > substituting macroes, which you probably don't want, but that can be > disabled). > > I am just putting this forward as a possible stepping stone to better > documentation, > I would be happy to develop the code if you thought it might help. From here > I think > it would be good to add diagrams and make the structure more hierarchical. > > I really do believe in better documentation, I would be sad if I inadvertently > contributed to a path which lead to worse documentation. I do feel that the > literate > programming movement has the right goals, its just the mechanisms that don't > work for > me. I would like FriCAS to try to enforce better documentation. > > Martin > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - > computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to > fricas-devel+unsubscr...@googlegroups.com. > To post to this group, send email to fricas-de...@googlegroups.com. > Visit this group at http://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/groups/opt_out. > > ------------------------------------------------------------------------------ Get your SQL database under version control now! Version control is standard for application code, but databases havent caught up. So what steps can you take to put your SQL databases under version control? Why should you start doing it? Read more to find out. http://pubads.g.doubleclick.net/gampad/clk?id=48897031&iu=/4140/ostg.clktrk _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
