From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id gC6pB+imi1/6QAAA0tVLHw (envelope-from ) for ; Sun, 18 Oct 2020 02:22:32 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id SFRbA+imi1/9cAAA1q6Kng (envelope-from ) for ; Sun, 18 Oct 2020 02:22:32 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id D9A6A940112 for ; Sun, 18 Oct 2020 02:22:31 +0000 (UTC) Received: from localhost ([::1]:55906 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kTyL8-0007D1-R8 for larch@yhetil.org; Sat, 17 Oct 2020 22:22:30 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:43528) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kTyKz-0007Cp-UO for guix-devel@gnu.org; Sat, 17 Oct 2020 22:22:21 -0400 Received: from imta-37.everyone.net ([216.200.145.37]:40440 helo=imta-38.everyone.net) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kTyKx-00071o-Pn for guix-devel@gnu.org; Sat, 17 Oct 2020 22:22:21 -0400 Received: from pps.filterd (omta004.sj2.proofpoint.com [127.0.0.1]) by imta-38.everyone.net (8.16.0.43/8.16.0.43) with SMTP id 09I2DThM031760; Sat, 17 Oct 2020 19:22:13 -0700 X-Eon-Originating-Account: AMf9EyW6kS-zqYwEv9LXG71zrkQnksG0msK2FXy5s1w X-Eon-Dm: m0116953.ppops.net Received: by m0116953.mta.everyone.net (EON-AUTHRELAY2 - 5a81c0d0) id m0116953.5f8a0276.19169; Sat, 17 Oct 2020 19:22:12 -0700 X-Eon-Sig: AQMHrIJfi6bUTJN3vAIAAAAD,222ffacb1615dfbe7d6f5e8e17cef391 X-Eip: c6tVlSb7zr-KvKj09pBvwsHMlnWLIRo1cLXzg-xp8HA Date: Sun, 18 Oct 2020 04:22:03 +0200 From: Bengt Richter To: Maxim Cournoyer Subject: Re: Using #true and #false everywhere? Message-ID: <20201018022203.GA10753@LionPure> References: <875z7a78ww.fsf@gnu.org> <87a6wm5mv5.fsf@gmail.com> <874kmub8e1.fsf@nckx> <875z785n95.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <875z785n95.fsf@gmail.com> User-Agent: Mutt/1.10.1 (2018-07-13) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.235, 18.0.687 definitions=2020-10-18_02:2020-10-16, 2020-10-18 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 lowpriorityscore=0 mlxscore=0 suspectscore=0 clxscore=1034 spamscore=0 mlxlogscore=999 phishscore=0 malwarescore=0 priorityscore=1501 impostorscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2010180016 Received-SPF: pass client-ip=216.200.145.37; envelope-from=bokr@oz.net; helo=imta-38.everyone.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/10/17 22:22:16 X-ACL-Warn: Detected OS = Linux 3.x [generic] [fuzzy] X-Spam_score_int: -22 X-Spam_score: -2.3 X-Spam_bar: -- X-Spam_report: (-2.3 / 5.0 requ) BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.25, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_BL=0.001, RCVD_IN_MSPIKE_L4=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Bengt Richter Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: 0.49 X-TUID: QbyYmThhxzMz Hi, On +2020-10-17 21:36:06 -0400, Maxim Cournoyer wrote: > Hello Tobias, > > Tobias Geerinckx-Rice writes: > > > Maxim, > > > > Maxim Cournoyer 写道： > >> I'd only agree to such a change if it's already been standardized in > >> the > >> RnRS as such > > > > Sure, I think that's implied. #true and #false are part of the > > R7RS-small standard. > > Thanks, I couldn't find where that was defined. Now that you've pointed > it to me, it's defined in section 6.3 Booleans: > > The standard boolean objects for true and false are written as #t and > #f. Alternatively, they can be written #true and #false, > respectively. > > > I don't know what Guile ‘is’, but it supports that part of the > > standard. I don't think it implements any of the RnRS completely? > > I've heard it said that Guile targets R5RS, but that was ages ago. > > info '(guile) Guile and Scheme' suggests it supports all of the R5RS, > R6RS or R7RS standards, plus a bunch of srfi modules. > > With this cleared, I don't have an objection to the proposal, other than > the other points I've mentioned earlier (to recall those points: I don't > perceive much value in it and it'll make the 'git blame' output noisy). > > Thanks, > > Maxim > I am against editing legacy code to s/#t/#true/ and s/#f/#false/ For those who need it, why not an emacs mode to view whatever beautification they like? Or a separate canonicalizer/prettyprinter filter that you could invoke by command line or from any editor that can pipe thhrough filters? ISTM any any editing of signed-off sources creates quality/security-control work for developers who are too valuable to waste their time on non-fun. Delegating such simple changes to newbie contributors doesn't avoid the oversight work and potential security risk: a "whoops, that better be reverted" may open a door just long enough for some exploitation -- or at least require the conscientious to think about whether the whoops really could have been exploitable somehow. I see a waste of developer time, that can be much better used. My 2¢ :) -- Regards, Bengt Richter