From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jean Louis Newsgroups: gmane.emacs.help Subject: Re: (*) -> 1 Date: Tue, 17 Jan 2023 20:25:41 +0300 Message-ID: References: <87r0vuidjc.fsf@eder.anydns.info> <87y1q1kvdm.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="35088"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mutt/2.2.9+54 (af2080d) (2022-11-21) Cc: help-gnu-emacs@gnu.org, Michael Heerdegen To: tomas@tuxteam.de Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Tue Jan 17 18:26:38 2023 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 1pHpjJ-0008sg-Sv for geh-help-gnu-emacs@m.gmane-mx.org; Tue, 17 Jan 2023 18:26:37 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pHpij-0002AC-WC; Tue, 17 Jan 2023 12:26:02 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pHpii-000268-AJ for help-gnu-emacs@gnu.org; Tue, 17 Jan 2023 12:26:00 -0500 Original-Received: from stw1.rcdrun.com ([217.170.207.13]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pHpig-00073Z-2O for help-gnu-emacs@gnu.org; Tue, 17 Jan 2023 12:26:00 -0500 Original-Received: from localhost ([::ffff:102.85.233.9]) (AUTH: PLAIN admin, TLS: TLS1.3,256bits,ECDHE_RSA_AES_256_GCM_SHA384) by stw1.rcdrun.com with ESMTPSA id 0000000000055D73.0000000063C6DA26.0000265D; Tue, 17 Jan 2023 10:25:58 -0700 Mail-Followup-To: tomas@tuxteam.de, help-gnu-emacs@gnu.org, Michael Heerdegen Content-Disposition: inline In-Reply-To: Received-SPF: pass client-ip=217.170.207.13; envelope-from=bugs@gnu.support; helo=stw1.rcdrun.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.29 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-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.help:142324 Archived-At: * tomas@tuxteam.de [2023-01-17 19:45]: > Higher maths are a superset of (and sometimes a correction of) what > is taught in elementary schools. Lisp takes this inspiration from > higher maths. John McCarthy [1] was a mathematician by training and > most definitely had no qualms with zero- or one-term products and > sums. You have no choice but (believe me, I studied that too). As > soon as you have general sum and product formulae, you /need/ to > define what happens in border cases, and those conventions you seem > to dislike so much have turned out to be the most convenient, > probably since the mid-19th century. Thanks. I am following your hints, but I am not getting answer. If you know why they are convenient, can you please explain me? That is what I am asking. By following your guidance, I have found McCarthy Lisp: appleby/mccarthy-lisp: A toy lisp inspired by McCarthy's paper: https://github.com/appleby/mccarthy-lisp and I did not verify if that Lisp follows really McCarthy, but I git pull-ed it and compiled, and did not find reference in McCarthy's Lisp, because McCarthy says: mclisp> (*) Read Error: Expected start of Cons or Symbol, found: * ~/Programming/git/mccarthy-lisp $ make clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/main.cc -c -o src/main.o clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/alloc.cc -c -o src/alloc.o clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/cons.cc -c -o src/cons.o clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/env.cc -c -o src/env.o clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/error.cc -c -o src/error.o clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/eval.cc -c -o src/eval.o clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/init.cc -c -o src/init.o clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/lexer.cc -c -o src/lexer.o clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/load.cc -c -o src/load.o clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/reader.cc -c -o src/reader.o clang++ -I ./src -g -O3 -Wall -Wextra -std=c++11 src/utils.cc -c -o src/utils.o clang++ src/main.o src/alloc.o src/cons.o src/env.o src/error.o src/eval.o src/init.o src/lexer.o src/load.o src/reader.o src/utils.o -o mclisp ~/Programming/git/mccarthy-lisp $ ls difftests.lisp LICENSE Makefile mclisp* mclisp.lisp README.md src/ test/ test.lisp TODO ~/Programming/git/mccarthy-lisp $ ./mclisp Loading mclisp.lisp... done. mclisp> (*) Read Error: Expected start of Cons or Symbol, found: * mclisp> (-) Read Error: Expected start of Cons or Symbol, found: - mclisp> (+) Read Error: Expected start of Cons or Symbol, found: + mclisp> -- Jean Take action in Free Software Foundation campaigns: https://www.fsf.org/campaigns In support of Richard M. Stallman https://stallmansupport.org/