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 e1db018d
	for <ml@inbox.vuxu.org>;
	Sun, 17 Nov 2019 18:57:12 +0000 (UTC)
Received: by minnie.tuhs.org (Postfix, from userid 112)
	id 5384A9C5F5; Mon, 18 Nov 2019 04:57:11 +1000 (AEST)
Received: from minnie.tuhs.org (localhost [127.0.0.1])
	by minnie.tuhs.org (Postfix) with ESMTP id D86A09C5DB;
	Mon, 18 Nov 2019 04:56:52 +1000 (AEST)
Received: by minnie.tuhs.org (Postfix, from userid 112)
 id D4D429C5DB; Mon, 18 Nov 2019 04:56:50 +1000 (AEST)
Received: from mail.bitblocks.com (ns1.bitblocks.com [173.228.5.8])
 by minnie.tuhs.org (Postfix) with ESMTP id 842D39C2EF
 for <tuhs@tuhs.org>; Mon, 18 Nov 2019 04:56:50 +1000 (AEST)
Received: from bitblocks.com (localhost [127.0.0.1])
 by mail.bitblocks.com (Postfix) with ESMTP id 411FE156E80B;
 Sun, 17 Nov 2019 10:56:36 -0800 (PST)
To: Michael =?utf-8?B?S2rDtnJsaW5n?= <michael@kjorling.se>
In-reply-to: Your message of "Sun, 17 Nov 2019 18:23:05 +0000."
 <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>
 <nsr3m4hzxntbsr9hxfrqs7bx@localhost>
Comments: In-reply-to Michael =?utf-8?B?S2rDtnJsaW5n?= <michael@kjorling.se>
 message dated "Sun, 17 Nov 2019 18:23:05 +0000."
From: Bakul Shah <bakul@bitblocks.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-ID: <11877.1574016996.1@bitblocks.com>
Content-Transfer-Encoding: quoted-printable
Date: Sun, 17 Nov 2019 10:56:36 -0800
Message-Id: <20191117185643.411FE156E80B@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>
Cc: tuhs@tuhs.org
Errors-To: tuhs-bounces@minnie.tuhs.org
Sender: "TUHS" <tuhs-bounces@minnie.tuhs.org>

On Sun, 17 Nov 2019 18:23:05 +0000 Michael =3D?utf-8?B?S2rDtnJsaW5n?=3D <m=
ichael@kjorling.se> wrote:
Michael Kj=C3=B6rling writes:
> 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).

Syntax is a separate issue.  Something like what Macsyma (or
Maxima now) or even LaTeX would be fine. Many word processors
and browsers can render the latter properly. Syntax is the
easy part (though it can be controversial).  The hard part is
having to build in a tremendous amount of math knowledge. Even
if the compiler/interpreter were to outsource the symbolic
algebra manipulation part to maxima, mathematica or some such,
smooth integration with other language features would not be easy.