[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: append, push, and add-to-list.
From: |
tomas |
Subject: |
Re: append, push, and add-to-list. |
Date: |
Mon, 5 Jul 2021 17:41:21 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Mon, Jul 05, 2021 at 04:53:44PM +0200, Emanuel Berg via Users list for the
GNU Emacs text editor wrote:
[...]
> But ... ultimately one writes code so the computer can execute
> it, and not so that a human can read it. So maybe one
> shouldn't quote empty lists?
There's at least one wise person who put that exactly the other
way around:
"Programming is the art of telling another human being
what one wants the computer to do"
-- D.E.Knuth [1]
Cheers
[1] https://cacm.acm.org/magazines/2012/4/147340-reading-cs-classics/fulltext
- t
signature.asc
Description: Digital signature
- Re: append, push, and add-to-list., (continued)
- Re: append, push, and add-to-list., Jean Louis, 2021/07/05
- Re: append, push, and add-to-list., Hongyi Zhao, 2021/07/05
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
Re: append, push, and add-to-list., Drew Adams, 2021/07/05
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
- Re: append, push, and add-to-list., Stefan Monnier, 2021/07/05
- RE: [External] : Re: append, push, and add-to-list., Drew Adams, 2021/07/05
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
- Re: append, push, and add-to-list., Jean Louis, 2021/07/06
- Re: append, push, and add-to-list., Emanuel Berg, 2021/07/06
Re: append, push, and add-to-list.,
tomas <=
Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
Re: append, push, and add-to-list., tomas, 2021/07/05
Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
Re: append, push, and add-to-list., Stefan Monnier, 2021/07/05
Re: append, push, and add-to-list., Emanuel Berg, 2021/07/05
Re: append, push, and add-to-list., Jean Louis, 2021/07/06
Re: append, push, and add-to-list., Emanuel Berg, 2021/07/06