From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Emanuel Berg via Users list for the GNU Emacs text editor Newsgroups: gmane.emacs.help Subject: Re: Quote by Knuth Date: Wed, 21 Jul 2021 06:28:11 +0200 Message-ID: <87lf60e1es.fsf@zoho.eu> References: <20210705154121.GB6395@tuxteam.de> <878s2j2onn.fsf@zoho.eu> <87r1gbdr6d.fsf@zoho.eu> <877dhsfrxs.fsf@zoho.eu> <87eebv6zid.fsf@zoho.eu> <20210719070707.GA2832@tuxteam.de> Reply-To: Emanuel Berg Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="38139"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) To: help-gnu-emacs@gnu.org Cancel-Lock: sha1:9jtIJ3vWQVOh50cYgKO79Z2jh5w= Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Wed Jul 21 06:29:03 2021 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1m63qx-0009if-Ao for geh-help-gnu-emacs@m.gmane-mx.org; Wed, 21 Jul 2021 06:29:03 +0200 Original-Received: from localhost ([::1]:38410 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1m63qw-0007I2-AL for geh-help-gnu-emacs@m.gmane-mx.org; Wed, 21 Jul 2021 00:29:02 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:57990) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m63qL-0007Hu-GP for help-gnu-emacs@gnu.org; Wed, 21 Jul 2021 00:28:25 -0400 Original-Received: from ciao.gmane.io ([116.202.254.214]:55484) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m63qJ-00032Y-NN for help-gnu-emacs@gnu.org; Wed, 21 Jul 2021 00:28:25 -0400 Original-Received: from list by ciao.gmane.io with local (Exim 4.92) (envelope-from ) id 1m63qH-0008sz-Rq for help-gnu-emacs@gnu.org; Wed, 21 Jul 2021 06:28:21 +0200 X-Injected-Via-Gmane: http://gmane.org/ Mail-Followup-To: help-gnu-emacs@gnu.org Mail-Copies-To: never Received-SPF: pass client-ip=116.202.254.214; envelope-from=geh-help-gnu-emacs@m.gmane-mx.org; helo=ciao.gmane.io X-Spam_score_int: -16 X-Spam_score: -1.7 X-Spam_bar: - X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.249, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.io gmane.emacs.help:131912 Archived-At: tomas wrote: >>> Literate programming is an enhanced macro substitution >>> package tuned to the task of rearranging source code. >> >> We know what a macro is but what is literate programming >> except it relies on macros? Does it rely on macros MORE >> than everyday programming, including programming that uses >> macros, or are the macros CLOSER to natural >> languages, maybe? > > This discussion is so full of category errors that it's > difficult to say anything relevant anymore. Let me pick two > senses for the term "literate programming": Isn't it better you tell us when that happens (with cite) than first say you can't say anything because of them and then 4 paragraphs of "not saying anything"... > "Literate programming" is a pretty generic term. The most > you can say about it is that it tries to combine "writing > for humans" ("literature") and "writing for machines" > ("programming") It is a poetic idea, but in practice how could one ever do that? Because then the machine must be taught to understand human language which it cannot almost by definition, except perhaps for very simple to-the-point applications like selling tickets to the cinema or whatever, and what's more, wouldn't that even be (in the case of programming) even completely _undesirable_ because in programming we _want_ everything to be defined, unambiguous, deterministic, stripped of emotion and stress, and so on? If you work as a carpenter or construction worker, you have tools - like the hammer, saw, drilldriver, etc - but there is another tool as well - and that's the human language. For a law practitioner, maybe the language is the only tool, even? So the language is a tool alright, it isn't about feeling lonely, making silly "trip humor" jokes or puns or anything like that... But just because the human language is a tool, and maybe the best tool we have, except for the hand or brain I guess, just because it is a tool doesn't mean it is close to the tool that is a programming language - isn't it the opposite, if anything? How would one even approach that? To combine them? Tell me, what's the first step Knuth took merge them, if that's what happened, actually? Maybe Knuth lived in an era when they believed Asimovean "robot law" AI was just around the corner? > Talking about macros in this context would be a category > error [0] like saying "Colorless green ideas sleep > furiously". ? > "Literate programming" as coined by Knuth (no, Mr. Dimech, you > probably won't be interested -- for me, you can't overstate Knuth > too much) is /technically/ based on WEB, which is a text substitution > system, so can be regarded as a macro [1] system. If you look closely, > TeX [2] and METAFONT [3] are "text substitution systems" a.k.a. > macro [4] expanders. "Literate programming" is based on WEB, a text substitution system or macro system. TeX and METAFONT are text substitution systems or macro expanders. ... hahah :) > It was the rage among some computer scientists of that time > (1980s), and Donald Knuth seems to have been interested in > them back then. rage ??? anger? What do you mean? > So yes, in the second, strict, sense macros do play a role. > By the way, and to try to put things on-topic (hope? HAH!), > noweb is also a text expansion machinery, inspired... yes, > on Knuth's WEB. Go figure. I knew it! The text expansion machinery noweb is inspired by WEB! Hahaha :) -- underground experts united https://dataswamp.org/~incal