From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.help Subject: Re: [OFFTOPIC] Re: Invoking a function from a list of functions Date: Mon, 19 Nov 2018 18:11:44 -0500 Message-ID: References: <67c4a534-d41c-4736-8839-c2dbbdf7f9c2@googlegroups.com> <2da7504a-8bbf-41b9-993e-a7bacd6c97b2@googlegroups.com> <20181116114002.3ba6bcc8dc1e699ba58e08b8@speakeasy.net> <20181119172358.802ce30c54f2fd20f8c300c4@speakeasy.net> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1542669019 3844 195.159.176.226 (19 Nov 2018 23:10:19 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 19 Nov 2018 23:10:19 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Tue Nov 20 00:10:15 2018 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gOsgI-0000qj-5l for geh-help-gnu-emacs@m.gmane.org; Tue, 20 Nov 2018 00:10:14 +0100 Original-Received: from localhost ([::1]:59387 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gOsiO-0005vs-Lh for geh-help-gnu-emacs@m.gmane.org; Mon, 19 Nov 2018 18:12:24 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:33895) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gOsi2-0005vk-0Z for help-gnu-emacs@gnu.org; Mon, 19 Nov 2018 18:12:02 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gOshy-0001qE-TR for help-gnu-emacs@gnu.org; Mon, 19 Nov 2018 18:12:02 -0500 Original-Received: from [195.159.176.226] (port=43035 helo=blaine.gmane.org) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gOshy-0001pt-MT for help-gnu-emacs@gnu.org; Mon, 19 Nov 2018 18:11:58 -0500 Original-Received: from list by blaine.gmane.org with local (Exim 4.84_2) (envelope-from ) id 1gOsfk-0000AT-Hl for help-gnu-emacs@gnu.org; Tue, 20 Nov 2018 00:09:40 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 13 Original-X-Complaints-To: usenet@blaine.gmane.org Cancel-Lock: sha1:/ERLqQQcykSGLbQAbJjlrzIIMGg= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 195.159.176.226 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.21 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.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.org gmane.emacs.help:118719 Archived-At: > I'm simply suggesting that for most programmers, the beauty of reading > a non-alphabetic programming language is not worth the hassle of > learning to type it. As evidence, I give you APL: every successor > dropped the exotic character set, despite being invented since the > advent of Unicode and bitmapped displays. FWIW, in the Agda language, it's very common to use non-ASCII characters which are input (in agda-mode) via a variant of the TeX input method. The reason this is tolerated is because those chars are already familiar to most users because they're used on paper for the same purpose. Stefan