From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H4, RCVD_IN_MSPIKE_WL,URIBL_SBL_A autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 13364 invoked from network); 23 Feb 2021 09:22:35 -0000 Received: from tb-ob1.topicbox.com (64.147.108.173) by inbox.vuxu.org with ESMTPUTF8; 23 Feb 2021 09:22:35 -0000 Received: from tb-mx0.topicbox.com (tb-mx0.nyi.icgroup.com [10.90.30.73]) by tb-ob1.topicbox.com (Postfix) with ESMTP id D61E22D4F6 for ; Tue, 23 Feb 2021 04:22:34 -0500 (EST) (envelope-from bounce.mMe5e205d80b9776ae87385457.r522be890-2105-11eb-b15e-8d699134e1fa@9fans.bounce.topicbox.com) Received: by tb-mx0.topicbox.com (Postfix, from userid 1132) id D42001870112; Tue, 23 Feb 2021 04:22:34 -0500 (EST) ARC-Authentication-Results: i=2; topicbox.com; arc=pass; dkim=invalid (public key: not available, 0-bit key sha256) header.d=polynum.com header.i=@polynum.com header.b=Nt/vLvcw header.a=-sha256 header.s=202006 x-bits=0; dmarc=none policy.published-domain-policy=none policy.applied-disposition=none policy.evaluated-disposition=none (p=none,d=none,d.eval=none) policy.policy-from=p header.from=polynum.com; spf=pass smtp.mailfrom=thierry.laronde@sfr.fr smtp.helo=smtp26.services.sfr.fr; 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=date:from:to:subject:message-id:references :mime-version:content-type:in-reply-to:list-help:list-id :list-post:list-subscribe:reply-to:content-transfer-encoding :list-unsubscribe; s=sysmsg-1; t=1614072154; bh=WUKWYfEfMVU0JdSw 5e4wqzqXDOKK08Y4dqZh2sacn5A=; b=SnBf9USTXbPuvFvixPpqJPGSiJoSAt/H 2SE6NFYlm6XmumDnqrKCWc5Tns0KkMVysAR2EFT0S4iB0UBSC4C50Tm47V1n0HC/ Qcw7hayNfmy0k93hxQXuEjrfqwEtptJ7/biGVa/b6pfhNidN2Di3wtRJkziZhHWe iOmp6ooTD6Y= ARC-Seal: i=2; a=rsa-sha256; cv=pass; d=topicbox.com; s=sysmsg-1; t= 1614072154; b=RjIG0xJMsbII3hWhfhs2SxZZLLhxZy0hME//vRtGl1H72OIat9 1NMIqJsmZJrH7iOZZZvjV6/QX79L6XposlTpRw+mWiMxPnW8X8PfGqhd1ETakZd4 uMmS5D+PHcC7ACTRLXiRoSMT3R9MVXp3tzJEXGTYlW/KIFarLstf2e6ZQ= Authentication-Results: topicbox.com; arc=pass; dkim=invalid (public key: not available, 0-bit key sha256) header.d=polynum.com header.i=@polynum.com header.b=Nt/vLvcw header.a=-sha256 header.s=202006 x-bits=0; dmarc=none policy.published-domain-policy=none policy.applied-disposition=none policy.evaluated-disposition=none (p=none,d=none,d.eval=none) policy.policy-from=p header.from=polynum.com; spf=pass smtp.mailfrom=thierry.laronde@sfr.fr smtp.helo=smtp26.services.sfr.fr; 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: tb-mx0.topicbox.com; arc=none (no signatures found); bimi=skipped (DMARC did not pass); dkim=invalid (public key: not available, 0-bit key sha256) header.d=polynum.com header.i=@polynum.com header.b=Nt/vLvcw header.a=-sha256 header.s=202006 x-bits=0; dmarc=none policy.published-domain-policy=none policy.applied-disposition=none policy.evaluated-disposition=none (p=none,d=none,d.eval=none) policy.policy-from=p header.from=polynum.com; iprev=pass smtp.remote-ip=93.17.128.163 (smtp26.services.sfr.fr); spf=pass smtp.mailfrom=thierry.laronde@sfr.fr smtp.helo=smtp26.services.sfr.fr; x-aligned-from=fail; x-me-sender=none; x-ptr=pass smtp.helo=smtp26.services.sfr.fr policy.ptr=smtp26.services.sfr.fr; x-return-mx=pass header.domain=polynum.com policy.is_org=yes (MX Records found: spool.mail.gandi.net,fb.mail.gandi.net); x-return-mx=pass smtp.domain=sfr.fr policy.is_org=yes (MX Records found: smtp-in.sfr.fr); x-tls=pass smtp.version=TLSv1.2 smtp.cipher=ECDHE-RSA-AES256-GCM-SHA384 smtp.bits=256/256; x-vs=clean score=0 state=0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=9fans.net; h=date:from :to:subject:message-id:references:mime-version:content-type :in-reply-to:list-help:list-id:list-post:list-subscribe:reply-to :content-transfer-encoding:list-unsubscribe; s=dkim-1; bh=TrTf2q lDE1UWYz+egvbWzcqhtohQLDnOFBizGTmJ31Q=; b=LpluQlpgE0xmtX1oqRK7lP cHh+rvFn9KCSbGl1pCjpOthOelHWUQpRNyJq4eXjaTen9Hji1NFftMnXSIhYseaP kYIu4CpBeuwgCZ5yI6ATLwFAsXPJfIznOGbsv99WVlBasx9p6Or2YV1w4Qz6p5L5 JHcdY2fFHpQBQNjo/QWao= Received: from tb-mx0.topicbox.com (localhost.local [127.0.0.1]) by tb-mx0.topicbox.com (Postfix) with ESMTP id 34904187FD41 for <9fans@9fans.net>; Tue, 23 Feb 2021 04:22:22 -0500 (EST) (envelope-from thierry.laronde@sfr.fr) Received: from tb-mx0.topicbox.com (localhost [127.0.0.1]) by tb-mx0.topicbox.com (Authentication Milter) with ESMTP id 0404B729260; Tue, 23 Feb 2021 04:22:22 -0500 ARC-Seal: i=1; a=rsa-sha256; cv=none; d=topicbox.com; s=arcseal; t= 1614072142; b=YRPhshqc6aB7F06EG5z8sj454ixvVThYCQNapgU7l86myjC9Qh tNe9xswbYz+lFdtNcDjlhT/QSNd7hl4GvPwtWJLWO0vB+WucNlxt1mYhAww6SReA 3LLnQQf48uOcrgXvLluKnX/iHln1wCgLBGODxvOnmoULVThV/Kf8AMtDurMToUdB 1ZLG6OxxPKQNMAyR+mHLWLyrZjFfIpQXkNFVUzKHgPP/UVE1Bvbuej8ONz6fr+bu zJII/6lJps+c1C8VsdpqlJR8fmQgnfPeVKo7HEEpBzj83v6jMxgnAH4sCjnDodXT 1SoKN4FU5vof02odQ+EANRKFSRZ5CkxV4E/w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=date:from:to:subject:message-id:references :mime-version:content-type:in-reply-to; s=arcseal; t=1614072142; bh=Dss9rC8lgUUzm1TRfNSRbS9Rk1C/fjIuRKenqdYMkO4=; b=Jd/HVJZnChUJ v3WO2RMhflc9r9m/trBFmzSTf51+ygx+pss2jNxDW6rrkFHpqArcvlKLSyWuMdIT HGz0kM44rvYd9Ik836r7ptNbekgtxBpN4ptmyaZeVrvcVkNRsRr19hk0OxRFDNq/ UpCXU9KradXXbQMGgmEvS6LjXbZner9bebEB7RQUCNsgVFEsm4f+rhe9m3KDGrNQ RB6XOFGzfjhjCm4VGMjoyZLZQgbnIt3c4LMJT8MfqKPD+Yh+rDJ+FqJB5+HZM9DG VrmLEcZk3bRJLzZ9t2UQ1JThtWgBG8Q46+Auf5fY/O3N7IAUw7BGr9ApCpANZiKk uWWj4RDFIQ== ARC-Authentication-Results: i=1; tb-mx0.topicbox.com; arc=none (no signatures found); bimi=skipped (DMARC did not pass); dkim=invalid (public key: not available, 0-bit key sha256) header.d=polynum.com header.i=@polynum.com header.b=Nt/vLvcw header.a=-sha256 header.s=202006 x-bits=0; dmarc=none policy.published-domain-policy=none policy.applied-disposition=none policy.evaluated-disposition=none (p=none,d=none,d.eval=none) policy.policy-from=p header.from=polynum.com; iprev=pass smtp.remote-ip=93.17.128.163 (smtp26.services.sfr.fr); spf=pass smtp.mailfrom=thierry.laronde@sfr.fr smtp.helo=smtp26.services.sfr.fr; x-aligned-from=fail; x-me-sender=none; x-ptr=pass smtp.helo=smtp26.services.sfr.fr policy.ptr=smtp26.services.sfr.fr; x-return-mx=pass header.domain=polynum.com policy.is_org=yes (MX Records found: spool.mail.gandi.net,fb.mail.gandi.net); x-return-mx=pass smtp.domain=sfr.fr policy.is_org=yes (MX Records found: smtp-in.sfr.fr); x-tls=pass smtp.version=TLSv1.2 smtp.cipher=ECDHE-RSA-AES256-GCM-SHA384 smtp.bits=256/256; x-vs=clean score=0 state=0 X-ME-VSCause: gggruggvucftvghtrhhoucdtuddrgeduledrkeeggdehheculddtuddrgeduhedrtddtmd cutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpggftfghn shhusghstghrihgsvgdpuffrtefokffrpgfnqfghnecuuegrihhlohhuthemuceftddtne cunecujfgurhepfffhvffukfhfgggtuggjfgesthdtredttdervdenucfhrhhomhepthhl rghrohhnuggvsehpohhlhihnuhhmrdgtohhmnecuggftrfgrthhtvghrnheptefhfeejge evueejieelvedtgfdtteffleeghfduhfehheffffehtedvjeffteegnecuffhomhgrihhn pehkvghrghhishdrtghomhdpshgsfhgrrdhfrhenucfkphepleefrddujedruddvkedrud eifedpjeejrdduleekrdduvddurdekleenucevlhhushhtvghrufhiiigvpedtnecurfgr rhgrmhepihhnvghtpeelfedrudejrdduvdekrdduieefpdhhvghlohepshhmthhpvdeird hsvghrvhhitggvshdrshhfrhdrfhhrpdhmrghilhhfrhhomhepoehthhhivghrrhihrdhl rghrohhnuggvsehsfhhrrdhfrheq X-ME-VSScore: 0 X-ME-VSCategory: clean Received-SPF: pass (sfr.fr: 93.17.128.163 is authorized to use 'thierry.laronde@sfr.fr' in 'mfrom' identity (mechanism 'ip4:93.17.128.0/24' matched)) receiver=tb-mx0.topicbox.com; identity=mailfrom; envelope-from="thierry.laronde@sfr.fr"; helo=smtp26.services.sfr.fr; client-ip=93.17.128.163 Received: from smtp26.services.sfr.fr (smtp26.services.sfr.fr [93.17.128.163]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by tb-mx0.topicbox.com (Postfix) with ESMTPS for <9fans@9fans.net>; Tue, 23 Feb 2021 04:22:21 -0500 (EST) (envelope-from thierry.laronde@sfr.fr) Received: from cauchy.polynum.local (89.121.198.77.rev.sfr.net [77.198.121.89]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by msfrf2601.sfr.fr (SMTP Server) with ESMTPS id E11F61C004C15 for <9fans@9fans.net>; Tue, 23 Feb 2021 10:22:19 +0100 (CET) X-mail-filterd: 1.0.0 X-sfr-mailing: LEGIT X-sfr-spamrating: 40 X-sfr-spam: not-spam Received: from cauchy.polynum.local (89.121.198.77.rev.sfr.net [77.198.121.89]) by msfrf2601.sfr.fr (SMTP Server) with ESMTP id C81C61C000401 for <9fans@9fans.net>; Tue, 23 Feb 2021 10:22:19 +0100 (CET) Received: from cauchy.polynum.local (89.121.198.77.rev.sfr.net [77.198.121.89]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by msfrf2601.sfr.fr (SMTP Server) with ESMTPS for <9fans@9fans.net>; Tue, 23 Feb 2021 10:22:19 +0100 (CET) Received: from cauchy.polynum.local (localhost [127.0.0.1]) by cauchy.polynum.local (8.15.2/8.15.2) with ESMTPS id 11N9Kqbu002344 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for <9fans@9fans.net>; Tue, 23 Feb 2021 10:20:52 +0100 (CET) Received: (from tlaronde@localhost) by cauchy.polynum.local (8.15.2/8.14.9/Submit) id 11N9Kps8002238 for 9fans@9fans.net; Tue, 23 Feb 2021 10:20:51 +0100 (CET) X-Authentication-Warning: cauchy.polynum.local: tlaronde set sender to thierry.laronde@sfr.fr using -f Date: Tue, 23 Feb 2021 10:20:51 +0100 From: tlaronde@polynum.com To: 9fans <9fans@9fans.net> Subject: Re: [9fans] APL Message-ID: <20210223092051.GA2248@polynum.com> References: <09039be1035b0ed7@orthanc.ca> <681AB8E7-14D5-47F6-9A32-D0FF69CFB418@iitbombay.org> <16140127800.791a8.138638@composer.9fans.topicbox.com> <202102221746.11MHkTYA017772@freefriends.org> <20210222182818.GA13277@polynum.com> <09039f176eefad95@orthanc.ca> <20210223081401.GA2231@polynum.com> <202102230858.11N8wGG5004457@freefriends.org> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Disposition: inline In-Reply-To: <202102230858.11N8wGG5004457@freefriends.org> User-Agent: Mutt/1.5.24 (2015-08-30) Topicbox-Policy-Reasoning: allow: sender is a member Topicbox-Message-UUID: a4e4e8e0-75b8-11eb-9c26-aff527f184f0 Archived-At: =?UTF-8?B?PGh0dHBzOi8vOWZhbnMudG9waWNib3guY29tL2dyb3Vwcy85?= =?UTF-8?B?ZmFucy9UNDc2YTFkN2I4MzI2OTc3NS1NZTVlMjA1ZDgwYjk3NzZhZTg3Mzg1?= =?UTF-8?B?NDU3Pg==?= List-Help: List-Id: "9fans" <9fans.9fans.net> List-Post: List-Software: Topicbox v0 List-Subscribe: Precedence: list Reply-To: 9fans <9fans@9fans.net> Content-Transfer-Encoding: quoted-printable List-Unsubscribe: , Topicbox-Delivery-ID: 2:9fans:437d30aa-c441-11e9-8a57-d036212d11b0:522be890-2105-11eb-b15e-8d699134e1fa:Me5e205d80b9776ae87385457:1:CsWBAlN5tg1LMQRvNJJih5Y4W0KGFb7ouuGP-o_jX4A On Tue, Feb 23, 2021 at 01:58:16AM -0700, arnold@skeeve.com wrote: > tlaronde@polynum.com wrote: >=20 > > On Mon, Feb 22, 2021 at 09:44:54PM +0000, Charles Forsyth wrote: > > > I'm fairly sure Thompson wrote it on sabbatical in Berkeley. I think = he > > > also wrote the first version of a Pascal compiler. > > > Pascal isn't a difficult language but I remember that compiler having= an > > > unusual style. I think others reworked it significantly later, > > > so if it's there at all it's worth looking at the earliest possible o= ne. > > >=20 > > > > The Pascal compiler rings a bell... It would be fun indeed to derived a > > version from it so that, finally, TeX and al. could be "natively" > > compiled instead of converting the (pseudo) Pascal to C (this is web2c > > purpose or, as I have named it, pp2rc---Pseudo Pascal to Raw C). >=20 > There was an interpreter for P-code and (I think later) a compiler > for the Vax. You'd have to port it to current architectures, and > compiling TeX would probably make TeX run more slowly than the C version. >=20 > The Berkeley Pascals were some of the compilers used for "Software Tools > in Pascal". The Pascal version would probably be a bit slower. And it would be more an alternative to verify the code than a primary way, since in fact D.E.K. has not written the program in some Pascal but in Algol, a high level abstract description, the wizardry being in the data structures. And, indeed, only the control flows are being translated from pseudo=20 Pascal to C, the core---the data structures---being handled by ad-hoc code. And for the architectures, like other compilers, the aim would be to convert to some intermediate language (perhaps assembly) and to borrow the back-ends. But it is all vaporware: I have to implement supplementary primitives for the new version of LaTeX and I'm already late (not started yet)... --=20 Thierry Laronde http://www.kergis.com/ http://kertex.kergis.com/ http://www.sbfa.fr/ Key fingerprint =3D 0FF7 E906 FBAF FE95 FD89 250D 52B1 AE95 6006 F40C ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T476a1d7b83269775-Me5e20= 5d80b9776ae87385457 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription