all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Emanuel Berg <embe8573@student.uu.se>
To: help-gnu-emacs@gnu.org
Subject: Re: if vs. when vs. and: style question
Date: Sun, 29 Mar 2015 03:03:51 +0200	[thread overview]
Message-ID: <87d23s4nt4.fsf@debian.uxu> (raw)
In-Reply-To: 87pp7x2jav.fsf@kuiper.lan.informatimago.com

"Pascal J. Bourguignon" <pjb@informatimago.com>
writes:

>> For 50 years CS has been living in the impoverished
>> world of ASCII. This makes people think CS and math
>> are more far apart than they essentially/really
>> are. I wrote this as my wish for python:
>> http://blog.languager.org/2014/04/unicoded-python.html
>> Isn't it about time lisp also considered
>> a similar line?
>
> Take a random computer. Type λ. Type lambda.
> Which one was easier?

It is much easier, quicker, and more pleasant to type
"lambda" even though that word isn't the easiest to
type.

It is also much easier and more pleasant to read, and
we (even the Greek when it comes to computing) have
a landslide more experience doing it.

> With this font-lock, you type (lambda (epsilon) (* 2
> epsilon)) and you see: (λ (ε) (* 2 ε)) the buffer
> and file still contain (lambda (epsilon) (* 2
> epsilon)) but it's displayed as greek letters.
> This can of course be expanded to more
> unicode symbols.

It can, but it is better if you see what you type when
you type it, and later, you see exactly what you once
typed and what still is in effect and nothing else.

To have the equivalence of several hundred abbrevs all
expanding back and forth is plain seasickness, which
by the way has been the cause of countless of suicides
during centuries of naval bravado.

> The next step, is to use a system like HAL/S or the
> one implemented for scheme -> LaTeX, which reformat
> formulae in sources using a Mathematic rendering
> engine such as LaTeX (or ASCII art in the case of
> HAL/S).

LaTeX should be used for very specific cases when you
do super-ambitious documents, like manuals and
university papers, that are to be read by *humans*
(who use different computers and printers), documents
that are likely not change continuously other than the
occasional fix, and documents that contain tons of
strange notation because they are intended for the
scientific community of whatever branch they belong.

LaTeX should not be used for the web just as HTML
should not be used in mails. I know it is possible -
question is: is it *sensible*?

To have LaTeX style *programming* is first grade
lunacy: I'd say just a few circuits from short
circuiting. It would be impractical and time-consuming
beyond belief. Just compare the time it takes to write
this mail - no time - to the time typesetting it in
LaTeX. With the \documentclass and packaged and
\subsections and all. You can spend hours on that.

ASCII should always be used for anything that is
intended to be computer used, computed, portab...
no: interchangeable!

> The important point is that you keep the source in
> ASCII, so it's easy to type and to process anywhere.

That's exactly right - and that's the whole thing and
purpose and appeal of it. So if you didn't notice it
by intuition and common sense it is logical as well.

So, apart from the easy, pleasant and consistent input
and much more convenient reading, ASCII also wins the
computer-computer interaction battle, and not just the
human-computer ditto.

> The success of lisp and unix over the decades shows
> that simplier tools win on the long term.
> Contrarily to graphic programming languages (such as
> UML) or other "experiments", or more complex
> systems, object-based or other (LispMachines), which
> will eventually break and be forgotten by most and
> regretted by few).

One hundred percent correct! All those silly tools are
intended so the programmer can be replaced by people
who cannot program. So far that hasn't happen - and
I am confident it never will.

-- 
underground experts united
http://user.it.uu.se/~embe8573


  parent reply	other threads:[~2015-03-29  1:03 UTC|newest]

Thread overview: 121+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-03-23 22:53 if vs. when vs. and: style question Marcin Borkowski
2015-03-24  0:15 ` Pascal J. Bourguignon
2015-03-24  0:34   ` Drew Adams
2015-03-24  0:22 ` Drew Adams
     [not found] ` <mailman.2648.1427156603.31049.help-gnu-emacs@gnu.org>
2015-03-24  2:28   ` Emanuel Berg
2015-03-24  6:12     ` Rusi
2015-03-25  0:21       ` Emanuel Berg
2015-03-25  0:20         ` Pascal J. Bourguignon
2015-03-25  2:44           ` Emanuel Berg
2015-03-25  2:51             ` Rusi
2015-03-25  7:12               ` Pascal J. Bourguignon
2015-03-25 14:02                 ` Rusi
2015-03-25 14:40                   ` Stefan Monnier
2015-03-25 14:52                   ` if vs. when vs. and: style question now Unicode Dan Espen
2015-03-25 15:24                     ` Rusi
2015-03-25 15:46                       ` Dan Espen
2015-03-25 16:02                         ` Rusi
2015-03-25 17:16                           ` Dan Espen
2015-03-28 17:55                           ` Emanuel Berg
2015-03-25 17:46                         ` Rusi
2015-03-25 15:22                   ` if vs. when vs. and: style question Pascal J. Bourguignon
2015-03-25 15:37                     ` Rusi
2015-03-29  1:17                       ` Emanuel Berg
2015-03-25 15:45                     ` Rusi
2015-03-29  1:03                     ` Emanuel Berg [this message]
2015-03-29  2:41                       ` Rusi
2015-03-29  3:11                         ` Rusi
2015-03-29 14:05                         ` Óscar Fuentes
2015-03-29 16:00                           ` Drew Adams
2015-03-30  1:55                             ` Óscar Fuentes
     [not found]                             ` <mailman.2998.1427680540.31049.help-gnu-emacs@gnu.org>
2015-03-30  2:25                               ` Rusi
2015-03-29 18:27                         ` Pascal J. Bourguignon
2015-03-30  0:09                           ` Stefan Monnier
2015-03-30  1:33                             ` Óscar Fuentes
2015-03-30  1:50                               ` Stefan Monnier
2015-03-30  9:44                               ` tomas
2015-03-30 11:46                                 ` Óscar Fuentes
     [not found]                                 ` <mailman.3016.1427716011.31049.help-gnu-emacs@gnu.org>
2015-03-30 13:03                                   ` Pascal J. Bourguignon
2015-03-30 14:18                                     ` Stefan Monnier
2015-03-30 15:21                                       ` Marcin Borkowski
2015-03-30 15:31                                         ` Óscar Fuentes
     [not found]                                         ` <mailman.3031.1427729518.31049.help-gnu-emacs@gnu.org>
2015-03-30 17:15                                           ` Pascal J. Bourguignon
     [not found]                                       ` <mailman.3030.1427728904.31049.help-gnu-emacs@gnu.org>
2015-03-31  6:26                                         ` Reality and Proofs (was if vs. when vs. and: style question) Rusi
     [not found]                               ` <mailman.3010.1427708687.31049.help-gnu-emacs@gnu.org>
2015-03-30 12:59                                 ` if vs. when vs. and: style question Pascal J. Bourguignon
     [not found]                         ` <mailman.2972.1427637975.31049.help-gnu-emacs@gnu.org>
2015-03-30  1:55                           ` Rusi
     [not found]                   ` <mailman.2749.1427294481.31049.help-gnu-emacs@gnu.org>
2015-03-25 15:33                     ` Rusi
2015-03-25 15:36                       ` Pascal J. Bourguignon
2015-03-25 16:06                         ` Drew Adams
     [not found]                         ` <mailman.2751.1427299594.31049.help-gnu-emacs@gnu.org>
2015-03-25 16:19                           ` Rusi
2015-03-25 16:23                             ` Rusi
2015-03-29  1:24                             ` Emanuel Berg
2015-03-25 17:02                           ` Dan Espen
2015-03-25 18:23                             ` Drew Adams
     [not found]                             ` <mailman.2758.1427307846.31049.help-gnu-emacs@gnu.org>
2015-03-25 18:52                               ` Dan Espen
2015-03-26  9:47                                 ` Gian Uberto Lauri
2015-03-29 23:06                                 ` Emanuel Berg
     [not found]                                 ` <mailman.2799.1427363259.31049.help-gnu-emacs@gnu.org>
2015-03-26 10:24                                   ` Pascal J. Bourguignon
2015-03-26 10:28                                     ` Pascal J. Bourguignon
2015-03-26 10:47                                       ` Unicode in source (Was Re: if vs. when vs. and: style question) Gian Uberto Lauri
     [not found]                                       ` <mailman.2802.1427366873.31049.help-gnu-emacs@gnu.org>
2015-03-26 15:54                                         ` Pascal J. Bourguignon
2015-03-26 17:07                                           ` Gian Uberto Lauri
     [not found]                                           ` <mailman.2824.1427389660.31049.help-gnu-emacs@gnu.org>
2015-03-26 17:16                                             ` Pascal J. Bourguignon
2015-03-26 10:43                                     ` if vs. when vs. and: style question Gian Uberto Lauri
2015-03-26 13:02                                       ` Pascal J. Bourguignon
2015-04-01 22:03                                   ` Emanuel Berg
2015-04-01 22:24                                     ` Emanuel Berg
2015-03-25 19:17                               ` Pascal J. Bourguignon
2015-03-25 20:31                                 ` Drew Adams
2015-03-25 22:21                                   ` Richard Wordingham
2015-03-25 23:21                                     ` Drew Adams
2015-03-25 23:52                                       ` Richard Wordingham
     [not found]                                     ` <mailman.2782.1427325697.31049.help-gnu-emacs@gnu.org>
2015-03-26  3:02                                       ` Rusi
2015-03-26 10:01                                         ` Gian Uberto Lauri
     [not found]                                         ` <mailman.2800.1427364117.31049.help-gnu-emacs@gnu.org>
2015-03-26 13:00                                           ` Rusi
2015-03-26 13:28                                             ` Gian Uberto Lauri
     [not found]                                             ` <mailman.2809.1427376497.31049.help-gnu-emacs@gnu.org>
2015-03-26 15:51                                               ` Pascal J. Bourguignon
2015-03-26 16:21                                                 ` Gian Uberto Lauri
     [not found]                                   ` <mailman.2779.1427322080.31049.help-gnu-emacs@gnu.org>
2015-04-01  2:31                                     ` Emanuel Berg
2015-04-01  3:03                                       ` Rusi
2015-04-01 14:29                                         ` Pascal J. Bourguignon
2015-04-01 14:57                                           ` Rusi
     [not found]                                 ` <mailman.2771.1427315503.31049.help-gnu-emacs@gnu.org>
2015-03-26  4:23                                   ` Rusi
2015-03-25 19:20                               ` Pascal J. Bourguignon
2015-03-26 11:37                                 ` Alan Schmitt
2015-03-30  1:20                                 ` Emanuel Berg
2015-03-30  2:43                                   ` Pascal J. Bourguignon
2015-03-30  3:12                                     ` Rusi
2015-03-25 17:49                           ` Pascal J. Bourguignon
2015-03-25 18:09                             ` Eli Zaretskii
     [not found]                             ` <mailman.2756.1427307016.31049.help-gnu-emacs@gnu.org>
2015-03-25 21:27                               ` Rusi
2015-03-25 21:32                                 ` Rusi
2015-03-31 16:49                                   ` Emanuel Berg
2015-03-31 17:22                                     ` Rusi
2015-04-01 18:08                                     ` Emanuel Berg
2015-04-01 20:01                                       ` Pascal J. Bourguignon
2015-03-27  3:54                           ` Emanuel Berg
2015-03-27  7:59                             ` Gian Uberto Lauri
2015-03-27  8:06                               ` tomas
2015-03-27  8:11                                 ` Gian Uberto Lauri
2015-03-27  9:20                                   ` tomas
2015-03-27  9:31                                     ` Gian Uberto Lauri
     [not found]                               ` <mailman.2860.1427443603.31049.help-gnu-emacs@gnu.org>
2015-03-27 12:41                                 ` Pascal J. Bourguignon
2015-03-27 13:05                                   ` tomas
     [not found]                                   ` <mailman.2875.1427461540.31049.help-gnu-emacs@gnu.org>
2015-03-27 13:35                                     ` Rusi
2015-03-27 12:34                             ` Pascal J. Bourguignon
2015-03-27  0:49                   ` Emanuel Berg
2015-03-27  7:53                     ` Gian Uberto Lauri
     [not found]                     ` <mailman.2856.1427442800.31049.help-gnu-emacs@gnu.org>
2015-03-27  8:56                       ` Joost Kremers
2015-03-27 12:19                       ` Pascal J. Bourguignon
2015-03-27 14:20                     ` Rusi
2015-03-25  2:35         ` Rusi
2015-03-27  0:31           ` Emanuel Berg
2015-03-27 21:27             ` Emanuel Berg
2015-03-27 22:54               ` Pascal J. Bourguignon
2015-03-28  1:16                 ` Rusi
2015-03-28 12:47                   ` Pascal J. Bourguignon
2015-03-24 15:18     ` Pascal J. Bourguignon
2015-03-25  0:44       ` Emanuel Berg
2015-03-24  7:21 ` Thien-Thi Nguyen
     [not found] ` <mailman.2659.1427181547.31049.help-gnu-emacs@gnu.org>
2015-03-25  0:34   ` Emanuel Berg
     [not found] <mailman.2645.1427151196.31049.help-gnu-emacs@gnu.org>
2015-03-23 23:19 ` Emanuel Berg

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87d23s4nt4.fsf@debian.uxu \
    --to=embe8573@student.uu.se \
    --cc=help-gnu-emacs@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.