Re: Ada Successor Language

["Dan'l Miller" <optikos@verizon.net>]

On Monday, June 4, 2018 at 7:17:26 PM UTC-5, Shark8 wrote:
> On Monday, June 4, 2018 at 3:14:57 PM UTC-6, Paul Rubin wrote:
> > Shark8 writes:
> > > (1)	The Meta language
> > > (2)	The Generic Language
> > > (3)	The Concurrent/Parallelism language
> > > (4)	The Proving language [SPARK]
> > > (5)	The HW/Representation language
> > 
> > By "Meta language" I first thought you meant replacing the ARM with a
> > machine checkable specification, written in something like Twelf[1].
> > That seems like a great idea.  But instead it seems like you want some
> > general syntactic umbrella in which the other stuff is embedded as
> > DSL's.  I.e. you are reinventing Lisp ;).  
> 
> A little of column-A, a little of column-B.
> (I would love to get my hands on a copy of the source for Symbolics Ada; it was awesome to see how integrated it was with the LISP environment -- But have no Idea where to start for that.)

http://www.symbolics-dks.com
The intellectual property of the old Symbolics is for sale if you can raise enough money to license pieces of it.

Conversely, in the modern era, Thomas Mertes PhD thesis is somewhat interesting:
It is not Lisp, but Seed7's definable language constructs for a language such as Ada8652 could be at least an inspiration for what you call The Meta Language or what I call hypoAda.  

definable language constructs:
http://seed7.sourceforge.net/examples/declstat.htm

definable operators:
http://seed7.sourceforge.net/examples/operator.htm