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 30993 invoked from network); 7 May 2020 20:48:15 -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 20:48:15 -0000 Received: by minnie.tuhs.org (Postfix, from userid 112) id 91FC59C92C; Fri, 8 May 2020 06:48:12 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id 89A909C932; Fri, 8 May 2020 06:47:44 +1000 (AEST) Authentication-Results: minnie.tuhs.org; dkim=pass (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.b="WVBVvvW6"; dkim-atps=neutral Received: by minnie.tuhs.org (Postfix, from userid 112) id 233EB9C8AF; Fri, 8 May 2020 06:47:42 +1000 (AEST) Received: from mail-yb1-f171.google.com (mail-yb1-f171.google.com [209.85.219.171]) by minnie.tuhs.org (Postfix) with ESMTPS id B36769B5D6 for ; Fri, 8 May 2020 06:47:41 +1000 (AEST) Received: by mail-yb1-f171.google.com with SMTP id c2so3059479ybi.7 for ; Thu, 07 May 2020 13:47:41 -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=WyApOK4+428geL2N9viyvRdo1L+0fzlYqzXVJnjRMVY=; b=WVBVvvW6pQAvS3kP+83tGtVivSuy6jHZ3E3oXLiwjx3ZMfY3fN49+qWNbHlCB1wGZx PJOLFi9sVVLTbPvABWuT8LnmFcbuNv1e1EfcpEvljtRpkQnTfjGgfzpputJpk0Dx7/4C DxUTNMiZdikgOJpka75hQbuEat1lq1iPnnNCYrI7ytLg/ld91CDilDPEtyI9NhvKc+pb d9RfVaz2ozZTMj6CEKVxK3Qn9KbHHhicQ3RoZtx3F3fxXB+BtYvIEs2BInTUiUncDK6a QOtxuqRPcvcDtzzvCuAZGJ7qEUj88XZc4TGcip+ju14lZZW4CdSyvFNrN+fi5la2Kkp9 AplQ== 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=WyApOK4+428geL2N9viyvRdo1L+0fzlYqzXVJnjRMVY=; b=MldJX5IGdHa1eeMXlM7+GFytsmYrGud2gDh4UttPzhdCZyuf47dvRZwqX1at6fnv61 5fCRmVafxyv54ZGDUWHC+EJdKgb+moWFFAQiGqjbEEn8VxtcIlX+WPmHq4IfjRu/EX/u 7XjFq6kK4cK7w59zZIZlnDY7t4anBBussncyCi6AZVVqtkvBl9gbHd5pmqFT2NKQ1sLX SJ0cMXhfIIU250ph8UqoaYxaacMwEdgYIexUhg8n9aGqxUTF1iCIGQBZ59x9ml/xgWhY J1ESLHINsb9BbBDtu8LiGFeg3pwgqee/fZfo4g7gZd/RPEcXE54th2hrcuw/Or0Jg6WR ltXA== X-Gm-Message-State: AGi0PuaO5zpcFnVfz6GSA2REG97S+fD2fiOV3xB+uhILMQGsM/giYc2u 0hkQCYSQJXIIIjmWyzBN4I8BUCIxzzr8kE+yqDo= X-Google-Smtp-Source: APiQypJDFLjxG2D2N4FGXHDx29lYKI6tcg6qCnFp+HMReNVHR3RZ5Isr9lDILeIQempqwEk8VhOGaR5Bar/dLS/UlJg= X-Received: by 2002:a25:c1c5:: with SMTP id r188mr25459264ybf.240.1588884460804; Thu, 07 May 2020 13:47:40 -0700 (PDT) MIME-Version: 1.0 References: <3740275.SCiKnK0d8l@slayer.slackware.es> In-Reply-To: <3740275.SCiKnK0d8l@slayer.slackware.es> From: "A. P. Garcia" Date: Thu, 7 May 2020 16:47:30 -0400 Message-ID: To: Gabriel Diaz Content-Type: multipart/alternative; boundary="000000000000e01eea05a514fd93" 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" --000000000000e01eea05a514fd93 Content-Type: text/plain; charset="UTF-8" On Mon, May 4, 2020, 8:48 AM wrote: > hello > > 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 > > Is it true that the language was too slow to be generally useful? There > seems > to be commentaries along these lines on the internet. > > thanks! > gabi > > > > > If you Google Unix ML, there are two fairly sizable papers on the topic > near the top of the results... --000000000000e01eea05a514fd93 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Mon, May 4, 2020, 8:48 AM <gdiaz@qswarm.com> wrote:
hello

Was sml/nj part of UNIX at some point? was it considered as a language to u= se
(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

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.

thanks!
gabi




If you Google Unix ML, there are two fairly=C2=A0 sizable = papers on the topic near the top of the results...
=
--000000000000e01eea05a514fd93--