From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tuhs-bounces@minnie.tuhs.org>
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=HEADER_FROM_DIFFERENT_DOMAINS,
	MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no
	version=3.4.2
Received: from minnie.tuhs.org (minnie.tuhs.org [45.79.103.53])
	by inbox.vuxu.org (OpenSMTPD) with ESMTP id a7b26bb6
	for <ml@inbox.vuxu.org>;
	Sun, 17 Nov 2019 18:23:37 +0000 (UTC)
Received: by minnie.tuhs.org (Postfix, from userid 112)
	id A74309C5F8; Mon, 18 Nov 2019 04:23:36 +1000 (AEST)
Received: from minnie.tuhs.org (localhost [127.0.0.1])
	by minnie.tuhs.org (Postfix) with ESMTP id 5BD699C5DB;
	Mon, 18 Nov 2019 04:23:13 +1000 (AEST)
Received: by minnie.tuhs.org (Postfix, from userid 112)
 id 0B4A89C5DB; Mon, 18 Nov 2019 04:23:12 +1000 (AEST)
Received: from pio-pvt-msa3.bahnhof.se (pio-pvt-msa3.bahnhof.se [79.136.2.42])
 by minnie.tuhs.org (Postfix) with ESMTPS id 6674B9C2EF
 for <tuhs@tuhs.org>; Mon, 18 Nov 2019 04:23:11 +1000 (AEST)
Received: from localhost (localhost [127.0.0.1])
 by pio-pvt-msa3.bahnhof.se (Postfix) with ESMTP id 6534B3F63C
 for <tuhs@tuhs.org>; Sun, 17 Nov 2019 19:23:09 +0100 (CET)
X-Virus-Scanned: Debian amavisd-new at bahnhof.se
Received: from pio-pvt-msa3.bahnhof.se ([127.0.0.1])
 by localhost (pio-pvt-msa3.bahnhof.se [127.0.0.1]) (amavisd-new, port 10024)
 with ESMTP id WH-uMhfpNDRV for <tuhs@tuhs.org>;
 Sun, 17 Nov 2019 19:23:08 +0100 (CET)
Received: from localhost (unknown [85.24.253.9])
 (Authenticated sender: mc995404)
 by pio-pvt-msa3.bahnhof.se (Postfix) with ESMTPA id 4CE463F619
 for <tuhs@tuhs.org>; Sun, 17 Nov 2019 19:23:07 +0100 (CET)
Received: from localhost (localhost [127.0.0.1])
 by localhost (Postfix) with ESMTPS id F089B2E01EE
 for <tuhs@tuhs.org>; Sun, 17 Nov 2019 19:23:06 +0100 (CET)
Date: Sun, 17 Nov 2019 18:23:05 +0000
From: Michael =?utf-8?B?S2rDtnJsaW5n?= <michael@kjorling.se>
To: tuhs@tuhs.org
Message-ID: <nsr3m4hzxntbsr9hxfrqs7bx@localhost>
References: <201911112110.xABLAQfW004396@skeeve.com>
 <20191111223129.GB23273@mit.edu>
 <EBCBF73F-3CF2-45F2-B062-42152AA01FC9@ccc.com>
 <CACytpF_OQwG5d_qUWaz5554T0z2_iP=EvxZWvPHJ4q-89Yj0oA@mail.gmail.com>
 <alpine.BSF.2.21.9999.1911171625260.408@aneurin.horsfall.org>
 <20191117055058.GB23794@mcvoy.com>
 <20191117181235.AE91A156E80B@mail.bitblocks.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <20191117181235.AE91A156E80B@mail.bitblocks.com>
Subject: Re: [TUHS] History of m6?
X-BeenThere: tuhs@minnie.tuhs.org
X-Mailman-Version: 2.1.26
Precedence: list
List-Id: The Unix Heritage Society mailing list <tuhs.minnie.tuhs.org>
List-Unsubscribe: <https://minnie.tuhs.org/cgi-bin/mailman/options/tuhs>,
 <mailto:tuhs-request@minnie.tuhs.org?subject=unsubscribe>
List-Archive: <http://minnie.tuhs.org/pipermail/tuhs/>
List-Post: <mailto:tuhs@minnie.tuhs.org>
List-Help: <mailto:tuhs-request@minnie.tuhs.org?subject=help>
List-Subscribe: <https://minnie.tuhs.org/cgi-bin/mailman/listinfo/tuhs>,
 <mailto:tuhs-request@minnie.tuhs.org?subject=subscribe>
Errors-To: tuhs-bounces@minnie.tuhs.org
Sender: "TUHS" <tuhs-bounces@minnie.tuhs.org>

On 17 Nov 2019 10:12 -0800, from bakul@bitblocks.com (Bakul Shah):
> What I really want is a programming language with support for
> symbolic manipulation of formulas!

Do you mean something like HAL/S?

https://en.wikipedia.org/wiki/HAL/S#Syntax

Though quite frankly, at a glance that multi-line syntax looks
somewhat awkward for little benefit over a single-line format,
especially if the code is already annotated (as certainly I would
expect for in-flight avionics software, never mind aboard a
spacecraft).

-- 
Michael Kjörling • https://michael.kjorling.se • michael@kjorling.se
 “Remember when, on the Internet, nobody cared that you were a dog?”