From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, URIBL_DBL_BLOCKED_OPENDNS,URIBL_ZEN_BLOCKED_OPENDNS autolearn=ham autolearn_force=no version=3.4.4 Received: from txout-a4-smtp.messagingengine.com (txout-a4-smtp.messagingengine.com [103.168.172.227]) by inbox.vuxu.org (Postfix) with ESMTP id 7FE8822589 for ; Wed, 17 Dec 2025 03:51:20 +0100 (CET) Received: from localhost.localdomain (phl-topicbox-01.internal [10.202.2.219]) by mailtxout.phl.internal (Postfix) with ESMTP id 300B31C0231 for ; Tue, 16 Dec 2025 21:51:20 -0500 (EST) ARC-Authentication-Results: i=2; topicbox.com; arc=pass; dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=Mj2Cp7vr header.a=rsa-sha256 header.s=20230601 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; spf=pass smtp.mailfrom=mveety@gmail.com smtp.helo=mail-qv1-f51.google.com; x-internal-arc=fail (as.1.topicbox.com=pass, ams.1.topicbox.com=fail (message has been altered)) (Message modified while forwarding at Topicbox) ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=message-id:date:mime-version:subject:to :references:from:in-reply-to:content-type :content-transfer-encoding:list-help:list-id:list-post :list-subscribe:reply-to:list-unsubscribe; s=sysmsg-1; t= 1765939880; bh=pGDc0UIUCpdqGbD0tQVWln16DLDV9IKFHJdrz10DIQk=; b=K aysICjW5sN7obmXCZif5Y34ieIhBpTs5Ff8HWKIpFO1YVKzSUM65eTnRxFoLdOqc bzQfVTRTw3opxMd2d43zzPLZUR0mW60ay7qTLQiETp/poovZmk6Lx8uD+8euMToA zbeN3cdtCVVpzlzsh7jUEPfwK6gY83wEsYtrBdLNSE= ARC-Seal: i=2; a=rsa-sha256; cv=pass; d=topicbox.com; s=sysmsg-1; t= 1765939880; b=iWac2SBSrQslsrc4l/MYV86CKzfi1qjueMJ5emj141VcDOI0D0 KfAoK51C/n0bW7xLiGfkgI8s9rZfgiRavksXMOBSpk6/TBrzbPLVl8QdeO3YnlCm LnOUEcwOBhrSU20Zoz26ZkMXpIY/T/9Dy7j7BLz0VLs21y3O6iss2hbHs= Authentication-Results: topicbox.com; arc=pass; dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=Mj2Cp7vr header.a=rsa-sha256 header.s=20230601 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; spf=pass smtp.mailfrom=mveety@gmail.com smtp.helo=mail-qv1-f51.google.com; x-internal-arc=fail (as.1.topicbox.com=pass, ams.1.topicbox.com=fail (message has been altered)) (Message modified while forwarding at Topicbox) X-Received-Authentication-Results: authmilter.topicbox.com; arc=none (no signatures found); bimi=skipped (DMARC Policy is not at enforcement); dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=Mj2Cp7vr header.a=rsa-sha256 header.s=20230601 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; iprev=pass smtp.remote-ip=209.85.219.51 (mail-qv1-f51.google.com); spf=pass smtp.mailfrom=mveety@gmail.com smtp.helo=mail-qv1-f51.google.com; x-aligned-from=pass (Address match); x-google-dkim=pass (2048-bit rsa key) header.d=1e100.net header.i=@1e100.net header.b=FNyVlwi9; x-me-sender=none; x-ptr=pass smtp.helo=mail-qv1-f51.google.com policy.ptr=mail-qv1-f51.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt4.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt1.gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com); x-tls=pass smtp.version=TLSv1.3 smtp.cipher=TLS_AES_128_GCM_SHA256 smtp.bits=128/128; x-vs=clean score=0 state=0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=9fans.net; h=message-id :date:mime-version:subject:to:references:from:in-reply-to :content-type:content-transfer-encoding:list-help:list-id :list-post:list-subscribe:reply-to:list-unsubscribe; s=dkim-1; t=1765939880; x=1766026280; bh=pGDc0UIUCpdqGbD0tQVWln16DLDV9IKF HJdrz10DIQk=; b=TkVcYnTzxVfHlZRZLZKeos4BgfxS24/lJqh+3Sm/zyCL1FkZ dS03xCxEdPo4B4gLbc+VruCFnI5Z+NvB3HK3izyjWNI4sMWNdH7HpOTL7iwDnyIf Xzn3NodbCroJc5481LZ7Ua8UV1hYEmTX1uC9Q2iS16Is9fcma7hDd0/4Y7o= Received: from authmilter.topicbox.com (unknown [172.17.0.1]) by mx.topicbox.com (Postfix) with ESMTP id E656C4D80531 for <9fans@9fans.net>; Tue, 16 Dec 2025 19:29:15 -0500 (EST) Received: from mx.topicbox.com (172.17.0.1 [172.17.0.1]) by authmilter.topicbox.com (Authentication Milter) with ESMTP id 0D3019DF009; Tue, 16 Dec 2025 19:29:15 -0500 ARC-Seal: i=1; a=rsa-sha256; cv=none; d=topicbox.com; s=arcseal; t= 1765931355; b=xshmhWH+BBk9vp0gcWlgZiz6Bi47lTlEn+ExTZHO9sYlKGK8bj kjc++p7V2R3QNSaak9r6xatXojUy7bcx4U5VMGYiqK4OeMKbu9YRtX29fDvGfBm5 FQs7xEUunPXQTZm/GzQ0hz1vvCRDr7v33FxGonxGk0n5Drvb45XLeNcyZKXe5PGw O+nRDLHHbaSdbeiFBX0/9MvofmabBX5xZug7Nb/qe1Hr8TWaKKEHdzsyJaeNOlJb N/s/54WrvwxxPrjKiuCmr3VgsS6uwwaRoP/5rEKFI5gux/5glhk+sFDC/leIowgU tHrBH8Z5bAcry+Vq3ulHr3ZIv1OncsoZuirA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=message-id:date:mime-version:subject:to :references:from:in-reply-to:content-type :content-transfer-encoding; s=arcseal; t=1765931355; bh=Tltz6DMA dE377lpqPmWACIPgnLmzUmz6BsyBpoWHuUU=; b=O87JiY3CTlVNmnKBpsXH8TFn W6fg2rIHEw5SOwe+OtUweapcR28M9G/DbTHjcLFpePtJXluUeqywmIo5sC7RQrl2 QUcpo6r6h+3OWgBqP7TWHv4F9NM48CFNGKl4C9zWbbKqFVg6F6G0iugwlJMtwOnX 8unim2jgu3XvH8e5b6R2SlyxgxIIyJwSwm28cHCY/1w2w9vXUV1ImlXYmsjdsgNj CiEmIdCtNW1wDrtKg8pXZhqyKNskeKr3Fpm442fgmqWYcKqB9N5T7AnpNxFqyN6o PyoMRAyXPnydk0fgI+acDHUiI2oOSLWyu7vkVFaGDLG/6PFkOTaVzfRn320H1Q== ARC-Authentication-Results: i=1; authmilter.topicbox.com; arc=none (no signatures found); bimi=skipped (DMARC Policy is not at enforcement); dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=Mj2Cp7vr header.a=rsa-sha256 header.s=20230601 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; iprev=pass smtp.remote-ip=209.85.219.51 (mail-qv1-f51.google.com); spf=pass smtp.mailfrom=mveety@gmail.com smtp.helo=mail-qv1-f51.google.com; x-aligned-from=pass (Address match); x-google-dkim=pass (2048-bit rsa key) header.d=1e100.net header.i=@1e100.net header.b=FNyVlwi9; x-me-sender=none; x-ptr=pass smtp.helo=mail-qv1-f51.google.com policy.ptr=mail-qv1-f51.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt4.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt1.gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com); x-tls=pass smtp.version=TLSv1.3 smtp.cipher=TLS_AES_128_GCM_SHA256 smtp.bits=128/128; x-vs=clean score=0 state=0 X-ME-VSCause: gggruggvucftvghtrhhoucdtuddrgeefgedrtddtgdegudduvdcutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpggftfghnshhusghstghrihgsvgdp uffrtefokffrpgfnqfghnecuuegrihhlohhuthemuceftddtnecunecujfgurhepkfffgg gfuffvfhfhjggtgfesthejredttddvjeenucfhrhhomhepofgrthhthhgvficugggvvght hicuoehmvhgvvghthiesghhmrghilhdrtghomheqnecuggftrfgrthhtvghrnhepfeetfe eggeeihfffgfdvtdejvdehleduudeihfekuddtuddufeelheehueevtdfhnecukfhppedv tdelrdekhedrvdduledrhedupdejtddrgeegrddujeeirddukeeinecuvehluhhsthgvrh fuihiivgeptdenucfrrghrrghmpehinhgvthepvddtledrkeehrddvudelrdehuddphhgv lhhopehmrghilhdqqhhvuddqfhehuddrghhoohhglhgvrdgtohhmpdhmrghilhhfrhhomh epoehmvhgvvghthiesghhmrghilhdrtghomheqpdhnsggprhgtphhtthhopedupdhrtghp thhtohepoeelfhgrnhhsseelfhgrnhhsrdhnvghtqe X-ME-VSScore: 0 X-ME-VSCategory: clean Received-SPF: pass (gmail.com ... _spf.google.com: Sender is authorized to use 'mveety@gmail.com' in 'mfrom' identity (mechanism 'include:_netblocks.google.com' matched)) receiver=authmilter.topicbox.com; identity=mailfrom; envelope-from="mveety@gmail.com"; helo=mail-qv1-f51.google.com; client-ip=209.85.219.51 Received: from mail-qv1-f51.google.com (mail-qv1-f51.google.com [209.85.219.51]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mx.topicbox.com (Postfix) with ESMTPS for <9fans@9fans.net>; Tue, 16 Dec 2025 19:29:15 -0500 (EST) Received: by mail-qv1-f51.google.com with SMTP id 6a1803df08f44-88a22eb38edso25730616d6.2 for <9fans@9fans.net>; Tue, 16 Dec 2025 16:29:15 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1765931355; x=1766536155; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id :x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=Tltz6DMAdE377lpqPmWACIPgnLmzUmz6BsyBpoWHuUU=; b=FNyVlwi9It/a91swPA3A3dqor8yvllGV/XPARgZB6yiO2srzN6H+7k/Kqv7XHw8b7N 8NidNB2homN2PmCYMunPw6Y/Ld2aYdYQQyQZJlBGAskfS6C5kjmn7rMThW7AgeVWuqln 8o8g+OYSeN7r/gwurn7lNKKsGof33iG23Ao88SJS83mB3Aoz/VDkvWDSIdTiJjtNBkaI PtZCjWJHwp5cMqZUVZ+95mypSckgESNIiOsywh5AiTAE0HvCMJdRnJxhxkS2SXFiGvio MQnOjoj8r8lNh134WiQDvbgqcMxnZYWVz+e99mj5EfAXrW2FFD90mPYiHbg7neT5R8Tb FuFw== X-Gm-Message-State: AOJu0Yyn7uP/LUZ5eCC+YB54j6KOtkYpCpFXWiHLaAQWIilyDF8FhO8k 9G9xLMmMYkoPetHmgGJR9lBoGKpTSiotUCbssWbT3UdrMA4LBT2w22RhS7Klug== X-Gm-Gg: AY/fxX5Cibbtu4msFbuNe6G0FGskclBH4f2pqGUayicvh/NMpWkn4dhxuKRv2ZUB0Ks M4rLW2r2xGde3Lg4pElKyewKO8yCUnVBgQMpF7su3MkmscOsgt7TMQ/xaW9E8nYJ+SFjf5VpW1I usxFzD5HK+mbx3k8AJE/E2nNZqSQfcF1yrgwkzqH08x5qpZhIwtl1oUgn0/dy+vUNunBCot05Lx iRxWDLS5hKrEyLjyxcRBmcZIkYS2eFg+VrRDKQRdpwbCs8QZOjumRqVHTrHFM/MxSCfY/3hf71d BXfzfSvVWR2//V1Tz2LeiDXbK5hC1k5sbpAg2Nke7jF8zD2o0q93I7Au7HON6VxtCSI/c27u0BQ 1nt70R2I3C2+pYzvj4ePw3HcU+owli7LuSX8mIH54+frcyNiLxVX+J+dHFNUVw6ur1IAHYSdu1w jcxyz1QAv/EAYpJY15FdTikAEzNvmWhL4M1yMBQu5yo9Aqfus= X-Google-Smtp-Source: AGHT+IGjHscOWouL6eQSl3mExdzbLVPP1DdZofAVm9Jp2cz8sxgYUhRZZPsgHUhcma/sHBfnf/8WvQ== X-Received: by 2002:a05:6214:319f:b0:880:52d3:9bfc with SMTP id 6a1803df08f44-8887e4302bbmr246011566d6.22.1765931354909; Tue, 16 Dec 2025 16:29:14 -0800 (PST) Received: from [192.168.1.97] (70.44.176.186.res-cmts.tnk.ptd.net. [70.44.176.186]) by smtp.gmail.com with ESMTPSA id 6a1803df08f44-88993c659d3sm85786706d6.24.2025.12.16.16.29.14 for <9fans@9fans.net> (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 16 Dec 2025 16:29:14 -0800 (PST) Message-ID: <6973d9ad-83d2-4375-8a30-c7a669980d38@gmail.com> Date: Tue, 16 Dec 2025 19:29:13 -0500 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [9fans] Typestr usage (inspired by libgeometry) To: 9fans@9fans.net References: <9B381DFBBE425AD6AD846363E0251600@eigenstate.org> Content-Language: en-US From: Matthew Veety In-Reply-To: <9B381DFBBE425AD6AD846363E0251600@eigenstate.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable Topicbox-Policy-Reasoning: moderate: sender is a member; group holds all messages Topicbox-Message-UUID: 6ba7d088-dadf-11f0-84a6-b25b6bc11ef0 Archived-At: =?UTF-8?B?PGh0dHBzOi8vOWZhbnMudG9waWNib3guY29tL2dyb3Vwcy85?= =?UTF-8?B?ZmFucy9UN2VlMjQyOTFhZjk1N2RiNy1NZGQ5ZTBkNWViYmVkNDY1MjY5YTdi?= =?UTF-8?B?MDE3Pg==?= List-Help: List-Id: "9fans" <9fans.9fans.net> List-Post: List-Software: Topicbox v0 List-Subscribe: Precedence: list Reply-To: 9fans <9fans@9fans.net> List-Unsubscribe: , Topicbox-Delivery-ID: 2:9fans:437d30aa-c441-11e9-8a57-d036212d11b0:522be890-2105-11eb-b15e-8d699134e1fa:Mdd9e0d5ebbed465269a7b017:1:h90j_v2rASwaSFePxpKN0LfRQGpmYq7mMEp_Piw3oms On 16/12/2025 10:35 am, sirjofri via 9fans wrote: > Thinking about how typestr provides pretty cool syntactic sugar, I was wo= ndering why that's the case? Is there a goal to maintain the C standard as = far as it makes sense, or is it compatibility between plan 9 systems? I thinks it's a mix of lack of awareness and the hidden function calls,=20 I've used this quite a bit and there are some problems with=20 maintainability because it hides what you're doing, though it can make=20 code easier to write, especially things like typecasts. On 16/12/2025 11:17 am, ori@eigenstate.org wrote: > It's a subtly wrong feature -- it looks cute, but doesn't > generalize well in C. Finishing it would imply garbage > collection (or at least destructors), which have their > own disadvantages. This was years ago so I'm likely misremembering, but there was someone=20 (I think qrstuv?) that added destructors and something like Go's defer=20 to the compiler. The destructor didn't add any syntax to the compiler as=20 is just would call a function defined similarly to the rest of the=20 typestr methods. It worked pretty well for what is was. I don't remember=20 how (or if) it handled the hidden allocations needed for intermediate=20 values in expressions though. --=20 Veety ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T7ee24291af957db7-Mdd9e0= d5ebbed465269a7b017 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription