From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.devel Subject: RE: [External] : Re: Hash consing (was: Re: sqlite3) Date: Sat, 18 Dec 2021 16:15:15 +0000 Message-ID: References: <87tufmjyai.fsf@gnus.org> <87lf0nr2b4.fsf@gnus.org> <87fsqvp5ae.fsf@gnus.org> <87bl1jp51y.fsf@gnus.org> <187323C2-81D0-47B6-96C8-3D721EF7C003@mit.edu> <8735mvp454.fsf@gnus.org> <87ilvn1xur.fsf@gnus.org> <87fsqqxsr9.fsf@gnus.org> <679ECACB-C458-4C9E-B26A-72E8D81E0A24@mit.edu> <87ee6afe6b.fsf_-_@yahoo.com> <57E58A64-95E7-4486-BEEC-06DC0E27DA02@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="31036"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "emacs-devel@gnu.org" To: Philipp , Po Lu Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat Dec 18 17:20:20 2021 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 1mycRY-0007wA-6R for ged-emacs-devel@m.gmane-mx.org; Sat, 18 Dec 2021 17:20:20 +0100 Original-Received: from localhost ([::1]:46056 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mycRW-0004LH-Vq for ged-emacs-devel@m.gmane-mx.org; Sat, 18 Dec 2021 11:20:19 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:55530) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mycMl-0007Xd-LU for emacs-devel@gnu.org; Sat, 18 Dec 2021 11:15:24 -0500 Original-Received: from mx0b-00069f02.pphosted.com ([205.220.177.32]:44480) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mycMj-0004Yh-J4 for emacs-devel@gnu.org; Sat, 18 Dec 2021 11:15:23 -0500 Original-Received: from pps.filterd (m0246630.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.16.1.2/8.16.1.2) with SMTP id 1BI9u0BK006157; Sat, 18 Dec 2021 16:15:18 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=corp-2021-07-09; bh=bHSGNZ8yfgS3MzbIcHrdW/Q1fUytGVsY+xc7dVz28M0=; b=O8+byYoluLAWfFokjvtO2bBgfZAkVNyt6lL1FBWi238BIgnMYwaQgwJSdCcxmp1hybz6 PbF9szyblM48k9Y3P2fLDxmPq5XsjCr4mWZHjS9Mxa1W4hMAeAqx6JTLb+TUztVDSfwp 8Cbvw2md+eg9Z8KGE6nkU/LowMPYLU3hIi6WP0ZQ57ZnRbO41bBxFdBZAHPw4mwoRU9V lMFmK9d9GD/70fD5gzitIkKhq4e5Qe1fGap+54kVdBO3zN+XV6b9UHEpYPZuiOdLoUm2 6RlUjeGfqiiLdHWQOopaQq4aXw2bl0vGRrLvnB2unEK3xibhpQai+ejoA+nK7lmQ1xx7 7Q== Original-Received: from aserp3020.oracle.com (aserp3020.oracle.com [141.146.126.70]) by mx0b-00069f02.pphosted.com with ESMTP id 3d162c0qu3-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 18 Dec 2021 16:15:18 +0000 Original-Received: from pps.filterd (aserp3020.oracle.com [127.0.0.1]) by aserp3020.oracle.com (8.16.1.2/8.16.1.2) with SMTP id 1BIGEqK8083251; Sat, 18 Dec 2021 16:15:17 GMT Original-Received: from nam11-co1-obe.outbound.protection.outlook.com (mail-co1nam11lp2177.outbound.protection.outlook.com [104.47.56.177]) by aserp3020.oracle.com with ESMTP id 3d17f15q8e-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 18 Dec 2021 16:15:17 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=RlNo5pah7UN9uzNfAQkXnPHuDWbe/2meyUDPdaxWg+lR7HE0nEKsCpmJ/wFgucsMjV1Lh1d8PHAYtuCPzsUcFarBIPZpIsa1SntSsUlHdMsqv67dwAUblvTJxk6tf6cMC+NgbaDxfh3YOu7E5KbBljSzdjD87N9f8Mj1EI3Iq9zQExo36nINI3MD/2Z7iZ5/d+ihVWGi2AuRa5fEszmCcm040kLuEv9+6qnCnXyMOWAk1iYihWCRpbQUxeKANqKgUEIsvhhIfffj0PYlZNNH+PH9ntIelka29z1UX9RieqSUipyv428SHBxbHzK7QGiquP6DS4b75MnX9o44IK+nKA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=bHSGNZ8yfgS3MzbIcHrdW/Q1fUytGVsY+xc7dVz28M0=; b=KxY161sNWe2I+k7S9OUJY7+lWEcRlAsfYFJgolk52gXvr4bVeQPko+LTs32ingX4PxoV2uIfl+fWavjkjI378xhc2KwKCowttVZ6Beocnz5OrrpM8o7jNWpeZWwB7gzmOvS0H8RbD4oYJHDYvPKNDZy9mJu9rdbrnKbazKvXhHEI0Erv8zPjIoTpYo5s/Gq/ldLSZCtYw9vm6oA6q5b6fVe1EiGPi2JckJQ8VTrlKPNgLY6tMKv0h8FzSxV66S/Uq/ionCuZSNdQ8yZwKdHeyuxujSN0jRFFUqKTavU+iv340q6lMmTl7MsSz9DUqn456FwyvGNfNREq4tVSEfg/5Q== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=bHSGNZ8yfgS3MzbIcHrdW/Q1fUytGVsY+xc7dVz28M0=; b=glqRafruGf/OSo1QXpLofrvZfErliM7RfskczEoi/lL7sjkEd+oJZrNJf6taeFXk8bUQtE8HoNP5GYztaRPuSZ258nfjcfzxFXII/NThlF/mx4vmaFWMYrRZNGm7uTt1BqUz9fK8ZTs78grSYuxkIPzsos4WDEwgCZcLoofkiMI= Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com (2603:10b6:a03:37e::19) by BYAPR10MB2517.namprd10.prod.outlook.com (2603:10b6:a02:b4::26) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4801.17; Sat, 18 Dec 2021 16:15:15 +0000 Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::99a4:696f:5f30:36b3]) by SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::99a4:696f:5f30:36b3%8]) with mapi id 15.20.4801.017; Sat, 18 Dec 2021 16:15:15 +0000 Thread-Topic: [External] : Re: Hash consing (was: Re: sqlite3) Thread-Index: AQHX9B1BVrG6lZqjDEKyCz1q5aBBXaw4a1kA In-Reply-To: <57E58A64-95E7-4486-BEEC-06DC0E27DA02@gmail.com> Accept-Language: en-US Content-Language: en-US x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 47cc2c5f-a2f2-4f2d-036d-08d9c2419387 x-ms-traffictypediagnostic: BYAPR10MB2517:EE_ x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:5797; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: j6u1U1FenYDI7f+k4Isyw83CtYQLvckqjW3dlkWfHTCW7nE9kcTbNRidt2GC9dKv+zz9qLYpJN8ELLmDMqzJ5wRXN0PJnD1r6RmBR7pAR67hTRbYNS9KfLsQZJgGM4jIFbTQHERgELGGsxE8AvY7T8NDX6XNNmV+PUOEsABMD05xE8kSM6TU7v4lB1W5PZtv6gVD4vMgc9aMHvEy0L2078KskhVrXkHZibaChuwZdx18uobOGz8cm0L1QcAXLimfe4ncezXAqr+wikqiqzJy4kCxnogUf0HtWcXqKvIBeIPp8Xnus+ioLkHS3bXvK0HYCAKztGW1rOlMWBThHfKqWLbsZS09goPcMeiacEt7B1aQs9hG0frAxlthVbiDGi3O2XDJz4m3h3mPP45L1J0XZFtuxeyc88CtkkEOJKi6iBO5xbbIjjs6bL/Le/qMa1Hd6IFBpmPg5RfWf/GiJfIwtMauPm0exiGpzxal1iipXfWobFliozIVHnjEf/sWYMc3RvFRG0NTk/EGqRseh2c2K8rXhX6Tvt7Xgd8ZbDA7cy7TlKXIQdGp8mBMe5iPg2lQQkXnesG3MzPRTK7xuZyerqXUnChGI7yOVELg25BalKsAEcVVolCDlLURKceR8qRSstvFDyr3NZUtzAcolUJDSbYTZnhxTGR40Q6TmmOgB6AciNCeOzHs1x0rJ452U8sG5/qxZEQANemApnB5wvgSCA== x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:SJ0PR10MB5488.namprd10.prod.outlook.com; PTR:; CAT:NONE; SFS:(366004)(508600001)(4326008)(110136005)(316002)(33656002)(9686003)(71200400001)(55016003)(4744005)(38070700005)(44832011)(5660300002)(8676002)(8936002)(52536014)(86362001)(64756008)(76116006)(66946007)(66446008)(66556008)(66476007)(7696005)(2906002)(26005)(6506007)(186003)(38100700002)(122000001); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?5WYlMHMYVBms5hxnlUAPf0fsZin/jj7f4DyTA5C4jG5DViUEAUp3Jzx5sNJC?= =?us-ascii?Q?eFqqErCUOW9Z/W5GhTrncn1JEc+arie10Owk2ivDJHzTnnNiGCG/mFKTeMTH?= =?us-ascii?Q?HtXf2dHRfxqtdNIFXkCgJFORbNhmA79/ElFbpn/QbccUiveM5XzTCmh0AHlm?= =?us-ascii?Q?OhJtkEzlHwQK9WK3yu4uMssYxZXGr9JCs75zL8Q8A+AJvNzF9mSnTd6DFx6q?= =?us-ascii?Q?5wUT34n1jwyEf3tOUEIuFIQ+hY3VCMx2qZqc3yGndO3JSMGTphyPt6oj79y2?= =?us-ascii?Q?+e+bSdr5E9/q0sc3YiGIEfcHERbJbTPptsXi8b/vTgeWzZUUYOUgm5yT2s+j?= =?us-ascii?Q?1+rpHlu8UUWK0zi8L7j2Uo5xBsAuiyOamkbx85z483Z/HIlCjXu+ueQ+dXeo?= =?us-ascii?Q?vEaL7VAmGtFuD4CMWQB3kvlOrkd+h2hPXnOXo5GoP9K26eethYVYkGAjHMOA?= =?us-ascii?Q?BE/XAnkTHVHaFMEmmmZpwi/5xT73df8MOIsjdMX1ebauHEzDU4cS08j9r4rx?= =?us-ascii?Q?ALoymcm5mF2JJG3GNW6sLjZ6GllHfmhLHIhVlkzfovOxYoH7cV+zM/U4SuFk?= =?us-ascii?Q?b4mzTSDnzqEwdK9AkAXOTWpscJ/TomhGudxNq64qD8c/fTKBXNu40gRK34CA?= =?us-ascii?Q?2l X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: SJ0PR10MB5488.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 47cc2c5f-a2f2-4f2d-036d-08d9c2419387 X-MS-Exchange-CrossTenant-originalarrivaltime: 18 Dec 2021 16:15:15.2460 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: UmjdPMNWnj6Kp/L3VEIzaXZshvfLYze7issv/7SSgtC9U3XpSpfPyB7LwFV6y73jTQGHtSnTRi/mMIN4iaeTow== X-MS-Exchange-Transport-CrossTenantHeadersStamped: BYAPR10MB2517 X-Proofpoint-Virus-Version: vendor=nai engine=6300 definitions=10202 signatures=668683 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=637 malwarescore=0 spamscore=0 phishscore=0 mlxscore=0 bulkscore=0 adultscore=0 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2110150000 definitions=main-2112180098 X-Proofpoint-GUID: 1ztUOet9vbilzjQhUzXZxdkizVtoPsJ3 X-Proofpoint-ORIG-GUID: 1ztUOet9vbilzjQhUzXZxdkizVtoPsJ3 Received-SPF: pass client-ip=205.220.177.32; envelope-from=drew.adams@oracle.com; helo=mx0b-00069f02.pphosted.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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" Xref: news.gmane.io gmane.emacs.devel:282328 Archived-At: > > some kind of immutable cons data type. > We already have that: for example, the result of evaluating the form '(1 = . > 2) is an immutable cons cell. The immutability isn't enforced, though: > passing such a cons cell to `rplaca' will cause undefined behavior, but > typically not signal an error. Sorry, but I don't understand what you're saying. What's immutable about it? What's undefined about using `setcar' or `rplaca' on it? (setq x '(1 . 2)) (setcar x 3)