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=-1.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 22706 invoked from network); 31 Jul 2020 00:56:32 -0000 Received: from minnie.tuhs.org (45.79.103.53) by inbox.vuxu.org with ESMTPUTF8; 31 Jul 2020 00:56:32 -0000 Received: by minnie.tuhs.org (Postfix, from userid 112) id EB64E9CB3E; Fri, 31 Jul 2020 10:56:26 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id D20429CB3C; Fri, 31 Jul 2020 10:55:11 +1000 (AEST) Authentication-Results: minnie.tuhs.org; dkim=pass (2048-bit key; unprotected) header.d=ccil-org.20150623.gappssmtp.com header.i=@ccil-org.20150623.gappssmtp.com header.b="P7jHo64n"; dkim-atps=neutral Received: by minnie.tuhs.org (Postfix, from userid 112) id BF9909CACB; Fri, 31 Jul 2020 10:55:08 +1000 (AEST) Received: from mail-qt1-f170.google.com (mail-qt1-f170.google.com [209.85.160.170]) by minnie.tuhs.org (Postfix) with ESMTPS id CE85493DFC for ; Fri, 31 Jul 2020 10:55:05 +1000 (AEST) Received: by mail-qt1-f170.google.com with SMTP id v22so15931580qtq.8 for ; Thu, 30 Jul 2020 17:55:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ccil-org.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=AcfCPTfg5Q3dXLHfH2IPq8t4y8ewJAqTNO78MyDbSjM=; b=P7jHo64nCsFcnUQjOsnNdp3d+1+kwOv8ur3O7I5nYznfGJPp92nU+61ui8XJdyA25p acf8fTolIlWdE7RQMhmue7y04xAE+IM51xDDcLkLrvwTqQhtz9BKkvlBA8QOCiay+sjt RRk72KV6+5Uu8G1gDxyLhEF5MHF99Fz6CGzESnvZJTeXBqYzDOxWeouxR0KI7ZFWIUsf 48mR74M5JSLmq4eWb9Np4jG6D3dKbPD6JIaNuxBCxZNfXK3rSMZsMkfupX+80MZzcUYp 7EnqJuyzsC5J0g/W5lze62cxSIEW+C+dwxmLbJ8VRgVJbUzm6jx/N6IemIldFrsK6bmq frKQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=AcfCPTfg5Q3dXLHfH2IPq8t4y8ewJAqTNO78MyDbSjM=; b=ldmEJJQpFFZB40+aBdMsLYlNYtntbaLK47l5Wx/PLgDtHNr6EwdKCbT6y4HhIIFkIx lrRnjSlK2SsCRK4sHGyi1bJRicOfZq/xxayP8nQw9NvQ4zOlR9W/QmW0ylN7o3MDbcsy 8dwNi7hRJUORnJl1/QnM8zAlt5Nb7qKDZFzTvgiAjW2iZpm/9znqXcIi88G68Ar0SThu LrwAq+5+TIpjiKuyUL2RIQvfzeVlqt8iixLNcmebwGnfQ3BvRA1EnDyohi//3K8MbHwr PMxu0e01chE7uWNwC78wKKbFWulEt5LI2ewdYcrPEXzvriuL9vXh5jh5V6kuRqc6ol9K p+SA== X-Gm-Message-State: AOAM532o5m/KiwedrTY5sD3ypRullIZ5F6Gzg1jiGGLqIKSOn+AdPufu RISpOCaTF43W+OZ/RRIA/a5JvT0gWCTa3Pi+NWXCoBNVvCA5CA== X-Google-Smtp-Source: ABdhPJzgddXbXbAGu4i1RgrAOtZNaRP3p/YE4ahOFd9NfIJMZgf6DmhC78MpIM07fkUbY8fGPthujQi1LMiTHB5nuQk= X-Received: by 2002:ac8:729a:: with SMTP id v26mr1397298qto.362.1596156904856; Thu, 30 Jul 2020 17:55:04 -0700 (PDT) MIME-Version: 1.0 References: <202007310003.06V03OoV073870@chez.mckusick.com> <20200731003528.GR10778@mcvoy.com> In-Reply-To: <20200731003528.GR10778@mcvoy.com> From: John Cowan Date: Thu, 30 Jul 2020 20:54:54 -0400 Message-ID: To: Larry McVoy Content-Type: multipart/alternative; boundary="00000000000051f34705abb23dd1" Subject: Re: [TUHS] Dennis Ritchie's Dissertation X-BeenThere: tuhs@minnie.tuhs.org X-Mailman-Version: 2.1.26 Precedence: list List-Id: The Unix Heritage Society mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Kirk McKusick , TUHS main list Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" --00000000000051f34705abb23dd1 Content-Type: text/plain; charset="UTF-8" On Thu, Jul 30, 2020 at 8:36 PM Larry McVoy wrote: Amen to that. Me too, I tried functional languages and my head hurt. C > seems so natural to me. > IMO impure functional languages like Common Lisp, ML, Scheme, and the somewhat ironically named Pure language are straightforward extensions of imperative programming: you can make your code less imperative without being completely deprived of it. All of these are tail-recursive (formally CL is not, but most implementations are) which means that recursive loops become non-recursive gotos, and for/do-loops wind up being pure without you noticing. John Cowan http://vrici.lojban.org/~cowan cowan@ccil.org If a traveler were informed that such a man [as Lord John Russell] was leader of the House of Commons, he may well begin to comprehend how the Egyptians worshiped an insect. --Benjamin Disraeli --00000000000051f34705abb23dd1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


=
On Thu, Jul 30, 2020 at 8:36 PM Larry= McVoy <lm@mcvoy.com> wrote:
<= /div>

Amen to that.=C2=A0 Me too, I tried functional = languages and my head hurt.=C2=A0 C
seems so natural to me.

IMO impure func= tional languages like Common Lisp, ML, Scheme, and the somewhat ironically = named Pure language are straightforward extensions of imperative programmin= g: you can make your code less imperative without being completely deprived= of it.=C2=A0 All of these are tail-recursive (formally CL is not, but most= implementations are) which means that recursive loops become non-recursive= gotos, and for/do-loops wind up being pure without you noticing.



John Cowan =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0http://vrici.lo= jban.org/~cowan =C2=A0 =C2=A0 =C2=A0 =C2=A0cowan@ccil.org
If a traveler were informed that such a man [as= Lord John Russell] was
leader of the House of Commons, he may well begi= n to comprehend how the
Egyptians worshiped an insect. =C2=A0--Benjamin = Disraeli

--00000000000051f34705abb23dd1--