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.8 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, HTML_MESSAGE,MAILING_LIST_MULTI,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 23556 invoked from network); 3 Aug 2023 15:41:57 -0000 Received: from minnie.tuhs.org (2600:3c01:e000:146::1) by inbox.vuxu.org with ESMTPUTF8; 3 Aug 2023 15:41:57 -0000 Received: from minnie.tuhs.org (localhost [IPv6:::1]) by minnie.tuhs.org (Postfix) with ESMTP id 65EF5415CD; Fri, 4 Aug 2023 01:41:53 +1000 (AEST) Received: from mail-ua1-x92c.google.com (mail-ua1-x92c.google.com [IPv6:2607:f8b0:4864:20::92c]) by minnie.tuhs.org (Postfix) with ESMTPS id A3F35415CB for ; Fri, 4 Aug 2023 01:41:43 +1000 (AEST) Received: by mail-ua1-x92c.google.com with SMTP id a1e0cc1a2514c-79ab8d0f2bdso348430241.1 for ; Thu, 03 Aug 2023 08:41:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ccil-org.20221208.gappssmtp.com; s=20221208; t=1691077302; x=1691682102; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=/atVVsiOMGnbT4BIdCwPojdyAtfgaBg5Uu0ggY2lPfU=; b=D47DdOhaKiJWCws70gWM3Tdp77FFvGmeqWJGbKe83GIUG5QMqwUfVpj1Y7tCY5e7ys rsllZD+7UQiqtG+0R3bqdfWyqtSPBU5YgzetR6cNJKmztY+vKNQBfr9VrnHms+bq/duS pFPBl711lwjhg7TbFi2byRm7zFw6kBEBwpJ1evNUU4fxtlHKJ1W5aphNzyEgINm2fMIR a8CtzCrCx5QX196TrwPD3VvW/9BKzhuf81dZpZfSO2r3lM4ZComQ6Trhf1m4AO2qUWpr kGZITgy69Z5/8K3o+2067qObLEFld0+Ckom6/8TtRTOcBbxdfIkSffBVUkvck6/aj+yQ uyfQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1691077302; x=1691682102; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=/atVVsiOMGnbT4BIdCwPojdyAtfgaBg5Uu0ggY2lPfU=; b=aiotKG64hG5YX+wy16dMqZ4oZxk8XCVd0jA2udZTMGFeJlpQyBVaZBJxWJP7t6PuvF o++ltnfAhPGoncRlRegQJXOx1QD08O5DqkyHG+Pdix6CIrVzjH7JjCMnIy+4HIWe0/Cd fIzXzn2sCLhE2SKmWkxBx15J+H0auEqgK3Hw7bUn238Ep6Qp/2gBn3n99k5c6vzHR2Ds 2eRYkGsYAcYdLTDdF8vk9ysvuf0s6fr+Uv+RlbBguoML0Qj/uAvzWSesP/NRH/ewavsB g5HLJtrXSGsXYFNm36wogeE50KDnAFZEUijffNZ+1nK32vpHy+ro04BwolPJjZ6yqb4Y Gi5g== X-Gm-Message-State: ABy/qLYm4zrGwKSZznHtKDGeKYNJ10F8/xQCkW7BbCt0/hdfPYFp1Lw2 /yxzTrEm82occqXu54QlLCSE2qId8IkC+OYxkrAMv6l+FxA/6zYjJ0k= X-Google-Smtp-Source: APBJJlFeYy/BkPGJTd4PgzIwf6/JUy7giePXTdx2GaIwJyxsa1HkO1jTLMh8Kn06PvCSFUMY3VMI2iR9FEXQhDyTC3g= X-Received: by 2002:a67:e8d9:0:b0:445:1e73:3742 with SMTP id y25-20020a67e8d9000000b004451e733742mr7427573vsn.4.1691077302447; Thu, 03 Aug 2023 08:41:42 -0700 (PDT) MIME-Version: 1.0 References: <8246.1690761540@cesium.clock.org> <29602.1690887524@cesium.clock.org> <20230803005106.GA12652@mcvoy.com> In-Reply-To: From: John Cowan Date: Thu, 3 Aug 2023 11:41:28 -0400 Message-ID: To: Bakul Shah Content-Type: multipart/alternative; boundary="000000000000e6829c0602069d41" Message-ID-Hash: 4F7CXVYHWXOOALSJNHEJQ5YFVFZPUX55 X-Message-ID-Hash: 4F7CXVYHWXOOALSJNHEJQ5YFVFZPUX55 X-MailFrom: cowan@ccil.org X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header CC: tuhs@tuhs.org X-Mailman-Version: 3.3.6b1 Precedence: list Subject: [TUHS] Re: python List-Id: The Unix Heritage Society mailing list Archived-At: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000e6829c0602069d41 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Thu, Aug 3, 2023 at 10:20=E2=80=AFAM Bakul Shah wr= ote: I have not heard such horror stories about Common Lisp (or may be I have > forgotten them!). > Both Common Lisp and Python have optional static typing that is as rigorous as you might want. In the case of Python it is an outboard tool that you put into your build file; Python itself ignores declarations. (That means that the declarations are not used to optimize runtime performance.) The mypy tool does extensive type inference; you can get a long way without ever writing a declaration. For CL, type checking is part of the compiler; the interpreter generally ignores type declarations, although Steel Bank CL, the fastest existing implementation, uses the compiler even in the REPL. --000000000000e6829c0602069d41 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Th= u, Aug 3, 2023 at 10:20=E2=80=AFAM Bakul Shah <bakul@iitbombay.org> wrote:

I have not heard such horror stories about Common Lisp (or may b= e I have forgotten them!).=C2=A0

Both Common Lisp and Python have optional static typing th= at is as rigorous as you might want.=C2=A0 In the case of Python it is an o= utboard tool that you put into your build file; Python itself ignores decla= rations.=C2=A0 (That means that the declarations are not used to optimize r= untime performance.)=C2=A0 The mypy tool does extensive type inference; you= can get a long=C2=A0way without ever writing a declaration.

For CL, type checking = is part of the compiler; the interpreter generally ignores type declaration= s, although Steel Bank CL, the fastest existing implementation, uses the co= mpiler even in the REPL.=C2=A0=C2=A0
--000000000000e6829c0602069d41--