From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) 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_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham autolearn_force=no version=3.4.2 Received: (qmail 9019 invoked from network); 7 May 2020 17:41:40 -0000 Received-SPF: pass (minnie.tuhs.org: domain of minnie.tuhs.org designates 45.79.103.53 as permitted sender) receiver=inbox.vuxu.org; client-ip=45.79.103.53 envelope-from= Received: from minnie.tuhs.org (45.79.103.53) by inbox.vuxu.org with ESMTPUTF8; 7 May 2020 17:41:40 -0000 Received: by minnie.tuhs.org (Postfix, from userid 112) id 69F189C96E; Fri, 8 May 2020 03:41:35 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id 176189C92C; Fri, 8 May 2020 03:41:05 +1000 (AEST) Authentication-Results: minnie.tuhs.org; dkim=pass (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.b="axg6yCag"; dkim-atps=neutral Received: by minnie.tuhs.org (Postfix, from userid 112) id 8FF8C9C92C; Fri, 8 May 2020 03:41:03 +1000 (AEST) Received: from mail-qt1-f179.google.com (mail-qt1-f179.google.com [209.85.160.179]) by minnie.tuhs.org (Postfix) with ESMTPS id 3030A9C929 for ; Fri, 8 May 2020 03:41:03 +1000 (AEST) Received: by mail-qt1-f179.google.com with SMTP id o10so5513701qtr.6 for ; Thu, 07 May 2020 10:41:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=0slvdI9g+45bJfeDeYEWhCVvDBa1jkv3+1qV8LrwICk=; b=axg6yCagLYjdv/w65RiOcPqy/x3gmG2DL2UjprJXF0ORvjDUeMypoQZ9FxPtQ9tYbn xAFmtdyf/VBpLw7ioT9dlfyBMo7Kals1LFbZmkgfJ116NLWPIauzy3TloIXFI7u/CS2H hTOuaAWfriFxmIcujeTyGgoDBRdnuJknzufGvwyv0UajUJOteFzoDsh3DV9k9b6pLh8x 9tSAhui58kVXwS4+IZcRrfbuyaLlI0dWKD1jmUgAFTDKR85UNBSLt8kw3QnVaUjFIx4Q RkhxB5korc57TfgURSLn7hYl1w35lN+mmr6mfI02R6XFaHtegRBfAo96u2AOUm0WRzMd w6qw== 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=0slvdI9g+45bJfeDeYEWhCVvDBa1jkv3+1qV8LrwICk=; b=qeG63DCRZK4pNZpkKk/n1Kh20yuVkyc0oFr4CYG7tYyk0Vp4kuizpCKaAVBGjeO52H 6oabVoYCLXcDW5nRq1yPTkED9TY851mvZWqyfCR8D9fboT5w7Ttn2rPzDhDauh7hyhVx R26wxx1gtY7WF6ecJknmjZg7zZPAGyU4SdI4B8r3ex1MrKFIVgO4a72jL5ArMoNjoiBT 3ml5Iflg6BJvzfmUdftQcTPe9+yExmKEgBYwMk9YUvZWSLZcssgBrZdSZDXq+aJLag0D LMp/TrBusIU6QX6Nt5gbmpZqAity6assuT01v9nqzprh5NzNwQaE9kiJXKuPp88ZdsuE fsjA== X-Gm-Message-State: AGi0PubQ1U7v/VujTeRpeC9AOKc1hUeG92snbj6urPrzltKPOPB34SNp n/47C8pynRIlVc+KGsnzdglINa2Okd4uyerNtWW6A4s7 X-Google-Smtp-Source: APiQypKy8T2hv42xBoWplMnRNatE26JLUmCyC+cyZHZcHKad0umc0KXH/X50eJ/PLsh6AxjFORdkRFk5EMvrN3IPdis= X-Received: by 2002:ac8:4e88:: with SMTP id 8mr15289706qtp.82.1588873262320; Thu, 07 May 2020 10:41:02 -0700 (PDT) MIME-Version: 1.0 References: <3740275.SCiKnK0d8l@slayer.slackware.es> In-Reply-To: <3740275.SCiKnK0d8l@slayer.slackware.es> From: Dan Cross Date: Thu, 7 May 2020 13:40:26 -0400 Message-ID: To: gdiaz@qswarm.com Content-Type: multipart/alternative; boundary="00000000000064ceab05a51262c5" Subject: Re: [TUHS] sml/nj and unix/plan9 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: The Eunuchs Hysterical Society Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" --00000000000064ceab05a51262c5 Content-Type: text/plain; charset="UTF-8" On Mon, May 4, 2020 at 8:49 AM wrote: > Was sml/nj part of UNIX at some point? was it considered as a language to > use > (proof tools may be)? > > I was wondering if there is any history in common between the two. I've > been > unable to find anything :-?, please share your stories! :-D > There was certainly proximity, if not a direct connection. Is it true that the language was too slow to be generally useful? There > seems > to be commentaries along these lines on the internet. > This question is difficult to answer. As a _langage_ there's little that makes SML inherently slow; the MLton compiler does full-program optimization with advanced optimizations and generates code that's pretty performant. There are certainly other SML implementations that generate slow code; MoscowML comes to mind: it generates a byte code that's not known for speed. SML/NJ is pretty zippy, but I've never tried to write anything performance-critical with it. - Dan C. --00000000000064ceab05a51262c5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Mon, May 4, 2020 at 8:49 AM <gdiaz@qswarm.com> wrote:
Wa= s sml/nj part of UNIX at some point? was it considered as a language to use=
(proof tools may be)?

I was wondering if there is any history in common between the two. I've= been
unable to find anything :-?, please share your stories! :-D

There was certainly proximity, if not a direct connect= ion.

Is it true that the language was too slow to be generally useful? There see= ms
to be commentaries along these lines on the internet.
=
This question is difficult=C2=A0to answer. As a _langage_ th= ere's little that makes SML inherently slow; the MLton compiler does fu= ll-program optimization with advanced optimizations and generates code that= 's pretty performant. There are certainly other SML implementations tha= t generate slow code; MoscowML comes to mind: it generates a byte code that= 's not known for speed. SML/NJ is pretty zippy, but I've never trie= d to write anything performance-critical with it.

= =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Dan C.

--00000000000064ceab05a51262c5--