On 17 Nov 2019 10:12 -0800, from bakul(a)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(a)kjorling.se
“Remember when, on the Internet, nobody cared that you were a dog?”