Groups | Search | Server Info | Keyboard shortcuts | Login | Register

Groups > comp.programming > #7908

Re: [BBC] Programmers who use spaces 'paid more'

Cross-posted to 2 groups.

Show all headers | View raw

On Wed, 21 Jun 2017 18:48:22 +0200, Pascal J. Bourguignon wrote:

[snip]
> Which leads me to the conclusion that the origin of a lot of problems is
> the fact that we save "source" files that are used as-is both for human
> presentation/edition and for machine processing (compiling).  I would
> propose the alternative to save the programs eg. in the form of an
> abstract syntactic tree (let's say lisp S-expressions), and each time it
> is loaded in an IDE/editor, it would be unparsed into the specific
> syntactic and layout/indenting preferences of the programmer; and when
> saved, the programmer specific syntax would be parsed, and the
> S-expression syntactic tree would be saved to the file.  Machine
> processing can use directly these S-expression forms.

That's interesting. I am also surprised that the representation of 
"programming languages" and "source code" documents haven't really 
changed much. For example, it seems like a system of XML-based documents 
could represent the essential "program", the documentation, and the 
dependencies, with all of the various layers and dimensions of annotation 
such that various aspects and views could be presented to humans 
(engineers, students, etc.) and automata (compilers, analyzers, etc.). I 
think standards and test-suites, procedures and work-flows, definitions 
and descriptions, examples and explanations, could/should all be 
represented along with the tools and programs in this system of documents 
that would represent a coherent information system. 

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

Thread

[BBC] Programmers who use spaces 'paid more' "Mr. Man-wai Chang" <toylet.toylet@gmail.com> - 2017-06-18 21:45 +0800
  Re: [BBC] Programmers who use spaces 'paid more' Per Sandberg <per.s.sandberg@bahnhof.se> - 2017-06-18 22:13 +0200
    Re: [BBC] Programmers who use spaces 'paid more' "J. Clarke" <j.clarke.873638@gmail.com> - 2017-06-18 19:03 -0400
      Re: [BBC] Programmers who use spaces 'paid more' Lew Pitcher <lew.pitcher@digitalfreehold.ca> - 2017-06-18 20:22 -0400
        Re: [BBC] Programmers who use spaces 'paid more' "J. Clarke" <j.clarke.873638@gmail.com> - 2017-06-18 22:20 -0400
      Re: [BBC] Programmers who use spaces 'paid more' "Pascal J. Bourguignon" <pjb@informatimago.com> - 2017-06-19 07:50 +0200
        Re: [BBC] Programmers who use spaces 'paid more' Ike Naar <ike@iceland.freeshell.org> - 2017-06-19 07:24 +0000
        Re: [BBC] Programmers who use spaces 'paid more' Ike Naar <ike@iceland.freeshell.org> - 2017-06-19 08:28 +0000
        Re: [BBC] Programmers who use spaces 'paid more' "Mr. Man-wai Chang" <toylet.toylet@gmail.com> - 2017-06-19 22:28 +0800
      Re: [BBC] Programmers who use spaces 'paid more' Snit <usenet@gallopinginsanity.com> - 2017-06-19 20:00 -0700
    Re: [BBC] Programmers who use spaces 'paid more' "Mr. Man-wai Chang" <toylet.toylet@gmail.com> - 2017-06-19 18:46 +0800
  Re: [BBC] Programmers who use spaces 'paid more' "Chris M. Thomasson" <invalid@invalid.invalid> - 2017-06-18 18:19 -0700
    Re: [BBC] Programmers who use spaces 'paid more' "J. Clarke" <j.clarke.873638@gmail.com> - 2017-06-18 22:23 -0400
      Re: [BBC] Programmers who use spaces 'paid more' "Chris M. Thomasson" <invalid@invalid.invalid> - 2017-06-19 12:42 -0700
        Re: [BBC] Programmers who use spaces 'paid more' "J. Clarke" <j.clarke.873638@gmail.com> - 2017-06-19 22:19 -0400
          Re: [BBC] Programmers who use spaces 'paid more' "Chris M. Thomasson" <invalid@invalid.invalid> - 2017-06-20 11:44 -0700
    Re: [BBC] Programmers who use spaces 'paid more' "Mr. Man-wai Chang" <toylet.toylet@gmail.com> - 2017-06-19 18:47 +0800
      Re: [BBC] Programmers who use spaces 'paid more' nospam@please.invalid (AnthonyL) - 2017-06-19 11:24 +0000
        Re: [BBC] Programmers who use spaces 'paid more' "Mr. Man-wai Chang" <toylet.toylet@gmail.com> - 2017-06-19 20:26 +0800
  Re: [BBC] Programmers who use spaces 'paid more' JJ <jj4public@vfemail.net> - 2017-06-19 20:53 +0700
    Re: [BBC] Programmers who use spaces 'paid more' Julio Di Egidio <julio@diegidio.name> - 2017-06-19 07:11 -0700
    Re: [BBC] Programmers who use spaces 'paid more' "Mr. Man-wai Chang" <toylet.toylet@gmail.com> - 2017-06-19 22:27 +0800
    Re: [BBC] Programmers who use spaces 'paid more' Anton Shepelev <anton.txt@gmail.com> - 2017-06-21 00:51 +0300
      Re: [BBC] Programmers who use spaces 'paid more' Julio Di Egidio <julio@diegidio.name> - 2017-06-20 14:56 -0700
  Re: [BBC] Programmers who use spaces 'paid more' Simon Wright <simon@pushface.org> - 2017-06-21 13:27 +0100
    Re: [BBC] Programmers who use spaces 'paid more' Julio Di Egidio <julio@diegidio.name> - 2017-06-21 05:36 -0700
  Re: [BBC] Programmers who use spaces 'paid more' "Pascal J. Bourguignon" <pjb@informatimago.com> - 2017-06-21 18:48 +0200
    Re: [BBC] Programmers who use spaces 'paid more' "Mr. Man-wai Chang" <toylet.toylet@gmail.com> - 2017-06-22 00:52 +0800
    Re: [BBC] Programmers who use spaces 'paid more' Adam Jensen <hanzer@riseup.net> - 2017-07-05 18:36 +0000

csiph-web