From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Richard Stallman Newsgroups: gmane.emacs.devel Subject: Re: cond* Date: Mon, 15 Jan 2024 22:31:39 -0500 Message-ID: References: <8317f5d8-f431-4be9-b5f0-0a6cf8fe2222@alphapapa.net> Reply-To: rms@gnu.org Content-Type: text/plain; charset=Utf-8 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="23511"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacs-devel@gnu.org, yantar92@posteo.net To: Adam Porter Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Jan 16 04:32:28 2024 Return-path: Envelope-to: ged-emacs-devel@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 1rPaBg-0005q1-BZ for ged-emacs-devel@m.gmane-mx.org; Tue, 16 Jan 2024 04:32:28 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rPaAw-0003JH-JE; Mon, 15 Jan 2024 22:31:42 -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 1rPaAv-0003Iv-Ef for emacs-devel@gnu.org; Mon, 15 Jan 2024 22:31:41 -0500 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rPaAu-0005BT-QM; Mon, 15 Jan 2024 22:31:40 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=Date:References:Subject:In-Reply-To:To:From: mime-version; bh=52Yqz6/uyM5OkZh/cTkMoQgSbt8bICWc7aByi5AjyGs=; b=ULfCFTfNVDiF By5Sd5S8inq+YLgM53VbFFQI7xNsszyVMlykxf3tLiiN1bS5iL2h2frY7r/w18rbpObvKgrYxyw7U GVp/NC6d1pFHCehCggOW0oFMCY6O77GIErLS6CH8oZQUtTGeOT//DnEcwGwBt4Cd4cp0PlYYjU7gL ie8wJnW+5+sgx1RP4vvy40MMGO2dvd7OcaFuv/olw3tordVwhjPpH/O19/bWMPg1rUtKUUYwG/6Kv SVPYorNHKPTgsEIITEU1YF2r5AIC62tktQIf3GdbTNa1uQV8REZjY4Xw/0rXw0NU/WMhi2D8lQsOn oZGu/8paU2hvGJdQgxIL6Q==; Original-Received: from rms by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1rPaAt-0005dj-J6; Mon, 15 Jan 2024 22:31:39 -0500 In-Reply-To: <8317f5d8-f431-4be9-b5f0-0a6cf8fe2222@alphapapa.net> (message from Adam Porter on Sat, 13 Jan 2024 00:32:03 -0600) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:315001 Archived-At: [[[ To any NSA and FBI agents reading my email: please consider ]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > In contrast, this cond* form: > (symbolp x) > looks like a normal expression calling the function `symbolp'; This is in the match* construct, whose operands are never Lisp expressions. Just as inaide pcase, people will understand these are different. People will be accustomed to seeing cond* patterns there, just as people who use ocase are accustomed to seeing pcase patterns there. and, in a > sense, it is, because that will happen. No, that's not quite correct. What it does is test the value there in the data to see if it is symbolp, and if so, the match will bind x to that symbol. It is similar to what happens if the pattern is just x You're working hard to convince people that they they will dislike cond*. But that is not a usefu thing to do. Soon people will have a chance to play with cond* and see what they think. -- Dr Richard Stallman (https://stallman.org) Chief GNUisance of the GNU Project (https://gnu.org) Founder, Free Software Foundation (https://fsf.org) Internet Hall-of-Famer (https://internethalloffame.org)