From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: tuhs-bounces@minnie.tuhs.org X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.1 Received: from minnie.tuhs.org (minnie.tuhs.org [45.79.103.53]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 4085d49c for ; Wed, 22 Aug 2018 15:53:15 +0000 (UTC) Received: by minnie.tuhs.org (Postfix, from userid 112) id 8E34DA1BA3; Thu, 23 Aug 2018 01:53:14 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id 3AA2AA1A94; Thu, 23 Aug 2018 01:53:05 +1000 (AEST) Authentication-Results: minnie.tuhs.org; dkim=pass (1024-bit key; unprotected) header.d=163.com header.i=@163.com header.b=b65p+nYc; dkim-atps=neutral Received: by minnie.tuhs.org (Postfix, from userid 112) id D626BA1A94; Thu, 23 Aug 2018 01:53:01 +1000 (AEST) X-Greylist: delayed 966 seconds by postgrey-1.35 at minnie.tuhs.org; Thu, 23 Aug 2018 01:53:00 AEST Received: from m50-135.163.com (m50-135.163.com [123.125.50.135]) by minnie.tuhs.org (Postfix) with ESMTP id 86E01A1A89 for ; Thu, 23 Aug 2018 01:53:00 +1000 (AEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=Date:MIME-Version:Subject:From:Message-ID; bh=/b4iv BxAyAdI/XrJOgKiVYOwTa7c9NNSUFyybcE7CgY=; b=b65p+nYcYVrbGoQ/xCQx1 5Ob4T6hOB5NvznYGNUYzHa42uspGiQ7GV5M6d8QCxL3wiG/aHeMbXX73KDft+QA1 gG08pYverKWIVfg0XfRpjqD7HXjDsNn5/haqmjQa8KC81jGXPBlXvaI9l+NfcuMh ltOCjakwl3qMJfvFZUjR+g= Received: from [10.123.147.126] (unknown [43.250.200.93]) by smtp5 (Coremail) with SMTP id D9GowACXx_vvgn1bZ6gYAg--.134S2; Wed, 22 Aug 2018 23:36:21 +0800 (CST) Date: Wed, 22 Aug 2018 23:36:13 +0800 In-Reply-To: References: <88DDC574-96EA-4B3D-97A2-28157BF3B9D7@163.com> <20180821213743.4931661.91186.9539@texoma.net> <20180822094452.73ca043f@jabberwock.cb.piermont.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Autocrypt: addr=Caipenghui_c@163.com; keydata=mQGNBFt2VswBDADz+xR2utqiLw9nSI /RtmrB7N8+CBmUpNbngZPtSEHWdHsORAaa5Vf5OWUlIMXiS5SGRv5sy6bd6e4CNFdm6pPckDrx1j YZUgx/03/awLjyyVMW5Q4GKCNjgxtlUk5VFQvPcGUutza4fP9p17vduot6NztG4foxUxm4QrKvnJ ODsNANC/PUrcz3Y09qAVFfSJKPC3jlO91wr4S/0OjNVUIou7xINZuv9W2DMJ/kR2hqxmEOrdsKMy XHHTV6Kv7S89DL82XmgRj6kSpkjQx4L26TG3ldwk6pxUD/CR9f1ChPrldLg6TSgqxxS67lXhdpsl i03rpAF7fqp0W9on2+NbEDYIcgL9V1IRr7hTiCL9RJVoLRpS37EFOcIq0v5RwxkSdf6TxyGfRife yKyH9YkeZqW2wAsqlioNHnynBd+RG/jASMbxja3T8kdabkd63HVr4G+apoXIWg0CYJ4sLfCejF+l jLxvn0wPIBSCuHfYs0k11zjNmNJP3cJrrqot0PFxkAEQEAAbQUQ2FpcGVuZ2h1aV9jQDE2My5jb2 2JAbAEEwEKABoECwkIBwIVCgIWAQIZAAWCW3ZWzAKeAQKbAwAKCRDH2IUrHygpuG5nDACTq2HExC WD4ZZhICb5PSXQ9lAAjlnzKNobc8eo68URwklgiO6YCTTQC4ZNwinduloh6PuQZqcMZdySDCcPjx FhG7fSz445E9wWY5acOIa7V5HkNKzScI2w6RIoOCxCjy+D3+Asl5CdCANrkDpQhP9scDg/H6JWO5 qERoBtWe5IghCHmvp+PMgoiIGd6TcKbWJZ13L+8ZFRRAiwD1v3Z7I1acX/REWTNVjpz5VpCshc25 V9/2MuIdyWV8QxH+fL63CFXwW/1sD15wvxX+9W702RLR9FJyycxK6d7F8BUjnr5h8ECYbllItT5/ BkxruLky7Zyd6gZr2lWCYpES8Bu01QfnScBp54Y3K9k9iEm31s09S4H4OhzzL7c7pAqFgDrg+kRT BfnjxIGlw4hPtpBiFQc8LVN+0hQiR7mZopooq8MuNmX2t9jZQ2Po153J8XDloDe3q+FoIvPJcJrd mjJW85OtAL9iO/2FwBMmT8QujiJk+SzVXKnK/agGL0E/CcwSi5AY0EW3ZWzAEMAJ9icjRpGSdFyb skV4DqPGgL+MCaw38PJUbAL9hsV9/prPd/2It78N4CbPosP/oA7MtYhuo2TULhjyjrxa+8GNDHEB FxPx3w1npASqUXs3xiNJSUle9c9I1O9U9Rq7hhlHMi2eBr8S/3bIVZWWn4K3fJ6v4rPGv+19tlZC qII9fRtIS1ToY248eQmbdfTYsfwrNgbZfVnsjj3KUMWG0Fg7kfxniqpa1JGKroZfaCXAA3okHS9Z 25LidQ+LoKe0cmwetUJYD2yevkEq3ab0NZSw6fc2tZG4CEj7KiLPihquwGCI/r7uAI0tSae/UnM6 /Y+P8FS4X+hzn6GKlyl4vFeAI3CM1T5Mle++U4oobWy8PW9sv/6x08MliXqb+mIDEYhlfxS044qO aEjbvfGSX3owq/B0xcOrSqJSUF73tdMieyWFzakPAuCVUUSPp1Ww2/RAVRn6jIy25sjgw6HPV3aa CtOwIfUL/jD4hbSXH/ozEU4XH+P+HQw7RuTgZPu4huFQARAQABiQGfBBgBCgAJBYJbdlbMApsMAA oJEMfYhSsfKCm4tigL/iMa7GcVb6MtqQNCYkXWJFAsPLzK6JuvzA8ZbAg9H6m0cubet0sIVY61M2 j2XF0pnXthRWIWnVAkRW1SKJ9kSVXhY3lmc+Qbaf8LxjaSzXOu+PMDpCGujS7v6O6fkL7398rgsu oP42K56SLZfe6A3v0J/Yf5bThyvlfLBTGHeP4ZACQmRh8E/vy5Raonjc/YiBkpLFczc9rwg75BI4 iUw/rNcrGh4iy3Oqk1ZfxNeWyHl7vXrD64YHWCMi/p+cV8kZRldf7l1w1dpYGVXwEdcSjngHiKEx 4HGm4i/PskiQpSaRyUHP4ftRi29tmT7URHd7pX1eaT2cnBGbawvkqmTnNm2ThjcH5bUemw4UC9RF OnAXGxcZdUMMFKYXBjPP8k0ZsXDozcFrfglcNhvWhix/xvDitmiVZSxlma9v17auWzfPghHwaPKr RSWFBscvtjmRN122/bXqpSRHcRK/rAt8u4fyAvSqEe+06PYKnvs+i6w9yfDnd5LJ57ySGDw1S+ow == To: tuhs@minnie.tuhs.org, Paul Winalski , "Perry E. Metzger" From: Caipenghui Message-ID: <70B251DD-71B3-4418-9863-99B50D08C260@163.com> X-CM-TRANSID: D9GowACXx_vvgn1bZ6gYAg--.134S2 X-Coremail-Antispam: 1Uf129KBjvdXoW7JFy7tr47JrW5Aw4UJF4UCFg_yoWktwcEvr s2y3yxC3yrG3Z7ZFnrWF45urWUWa1UGw48Z34Fgrn3Kryjvrs8Ar9rGa4fZ34xJFZYvry5 WFnxZrWIqa4SvjkaLaAFLSUrUUUUUb8apTn2vfkv8UJUUUU8Yxn0WfASr-VFAUDa7-sFnT 9fnUUvcSsGvfC2KfnxnUUI43ZEXa7IUjySotUUUUU== X-Originating-IP: [43.250.200.93] X-CM-SenderInfo: xfdl1v5qjk3xlbf6il2tof0z/xtbBywyqh1PAAxiahQAAs9 Subject: Re: [TUHS] About Unix header files X-BeenThere: tuhs@minnie.tuhs.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: The Unix Heritage Society mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" On August 22, 2018 11:29:40 PM GMT+08:00, Paul Winalski=20 < paul=2Ewinalski@gmail=2Ecom> wrote: > On 8/22/18, Perry E=2E Metzger=20 < perry@piermont=2Ecom> wrote: >> >> To my knowledge, object file formats still don't have information >> about type signatures, and linkers still don't care about types=2E This >> is actually a problem=2E It would probably prevent a lot of errors if >> those things changed=2E > > For a linker to enforce (or warn about) type and call signature > matching, it would have to know the type and call semantics of each > particular language, and each particular compiler's switch options > that allow the programmer to bend the language rules=2E Not impossible, > but a difficult and cumbersome problem, particularly as language and > compiler implementation semantics vary over time=2E > > C++ and other strongly-typed languages typically hack around the > problem using name decoration=2E Not elegant, but effective=2E > > Has anyone experimented with building Unix using C++, to take > advantage of strong typing? My guess is no--it would be a Herculean > task likely to introduce more bugs than it would fix=2E > > -Paul W=2E Well, I agree with you that this may be achieved in the future=2E