Groups | Search | Server Info | Login | Register

Groups > comp.programming.literate > #40

Re: [?] Re: Large Literate Programs

Show all headers | View raw

Ben Pfaff <blp@cs.stanford.edu> writes:

> Simon Wright <simon@pushface.org> writes:
>
> [quoting what I wrote in the libavl book]
>> This is from 'Reading the Code':
>>
>>    A TexiWEB document is a C program that has been cut into sections,
>>    rearranged, and annotated, with the goal to make the program as a
>>    whole as comprehensible as possible to a reader who starts at the
>>    beginning and reads the entire program in order.
>>
>> Do people in general find that LP is a way of documenting a program
>> that has already been (designed and) implemented rather than part of
>> the process of designing the program? I'd (naively) hoped for the
>> latter!
>
> Maybe advanced practitioners do it the way that you prefer, but
> I'm too used to the way that I already write code, and so I wrote
> libavl the other way.  Also, the libavl book was an evolution of
> an existing library that had already been written in the ordinary
> way, so it was natural to me to write it that way.
>
> I was also implementing the TexiWEB language in parallel with
> writing libavl with it.

Thanks for the info.

I implemented one project by design-first; it was an Ada control package
over a C driver for a radar/graphics card, and it was really helpful to
have the mathematics, the C headers and glue, and the matching Ada
declarations in the same source document, not just for me as the
implementer but (I hope!)  for the rest of the team.

The current project is much more like yours, for the same reasons. I'm
hoping that even it I'm not doing it "right" I'm at least going to end
up with a better product!

Back to comp.programming.literate | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Large Literate Programs "Aaron W. Hsu" <arcfide@sacrideo.us> - 2011-10-06 04:32 -0400
  Re: Large Literate Programs Adam Russell <ac.russell@live.com> - 2011-10-07 00:27 -0400
    Re: Large Literate Programs "Aaron W. Hsu" <arcfide@sacrideo.us> - 2011-10-07 02:42 -0400
      Re: Large Literate Programs gratefulfrog <gratefulfrog@gmail.com> - 2011-10-10 22:12 -0400
        Re: Large Literate Programs "Aaron W. Hsu" <arcfide@sacrideo.us> - 2011-10-11 13:32 -0400
        Re: Large Literate Programs Yannick Duchêne (Hibou57) <yannick_duchene@yahoo.fr> - 2011-10-22 11:07 -0400
  [?] Re: Large Literate Programs arnold@skeeve.com (Aharon Robbins) - 2011-10-07 14:06 -0400
    Re: [?] Re: Large Literate Programs "Aaron W. Hsu" <arcfide@sacrideo.us> - 2011-10-07 14:47 -0400
    Re: [?] Re: Large Literate Programs blp@cs.stanford.edu (Ben Pfaff) - 2011-10-07 23:54 -0400
      Re: [?] Re: Large Literate Programs "Aaron W. Hsu" <arcfide@sacrideo.us> - 2011-10-08 02:07 -0400
      Re: Large Literate Programs "Aaron W. Hsu" <arcfide@sacrideo.us> - 2011-10-08 02:27 -0400
        Re: Large Literate Programs Palo Vlcek <pavol.vlcek@gmail.com> - 2011-10-10 22:13 -0400
          Re: Large Literate Programs "Aaron W. Hsu" <arcfide@sacrideo.us> - 2011-10-11 12:22 -0400
            Re: Large Literate Programs Palo Vlcek <pavol.vlcek@gmail.com> - 2011-10-12 01:57 -0400
              Re: Large Literate Programs "Aaron W. Hsu" <arcfide@sacrideo.us> - 2011-10-12 16:52 -0400
      Re: [?] Re: Large Literate Programs Simon Wright <simon@pushface.org> - 2011-10-10 21:38 -0400
        Re: [?] Re: Large Literate Programs "Aaron W. Hsu" <arcfide@sacrideo.us> - 2011-10-11 13:32 -0400
        Re: [?] Re: Large Literate Programs Ben Pfaff <blp@cs.stanford.edu> - 2011-10-13 18:36 -0400
          Re: [?] Re: Large Literate Programs Simon Wright <simon@pushface.org> - 2011-10-14 03:47 -0400
          Re: Large Literate Programs dtopham <dtopham@gmail.com> - 2011-10-14 18:12 -0400
            Re: Large Literate Programs blp@cs.stanford.edu (Ben Pfaff) - 2011-10-14 18:57 -0400

csiph-web