From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Adam Jensen Newsgroups: comp.programming,comp.lang.ada Subject: Re: [BBC] Programmers who use spaces 'paid more' Date: Wed, 5 Jul 2017 18:36:24 -0000 (UTC) Organization: A noiseless patient Spider Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Wed, 5 Jul 2017 18:36:24 -0000 (UTC) Injection-Info: mx02.eternal-september.org; posting-host="49f04a88228daf2d117b57a7cbe75bfa"; logging-data="20030"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+YVbjIfGz78NnLZREaXUnE" User-Agent: Pan/0.139 (Sexual Chocolate; GIT bf56508 git://git.gnome.org/pan2) Cancel-Lock: sha1:5SwV66hqf9PnTSuHCq3jF2YQRNc= Xref: news.eternal-september.org comp.programming:20082 comp.lang.ada:47302 Date: 2017-07-05T18:36:24+00:00 List-Id: 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.