comp.lang.ada
 help / color / mirror / Atom feed
From: Shark8 <onewingedshark@gmail.com>
Subject: Re: AdaCore's survey regarding the future of GNAT Community Edition
Date: Tue, 28 Jul 2020 07:38:26 -0700 (PDT)	[thread overview]
Message-ID: <1f630159-0f94-4bb8-9917-408757b4eaedo@googlegroups.com> (raw)
In-Reply-To: <5f1e8b54$0$5873$426a74cc@news.free.fr>

On Monday, July 27, 2020 at 2:07:50 AM UTC-6, DrPi wrote:
> > 
> What about Ada for microcontrollers ?

Honestly, Byron's plan would be the easiest way to get microcontrollers:
(1) Design an Ada implementation with a modular backend.
(2) Use SPARK verification for as much of the compiler as possible.
(3) Create a FORTH backend.
(4) Because you can reduce FORTH bootstrapping to about 30 (usually small) words, this provides a way to EASILY bootstrap a new architecture.
(5) If native code generation is needed, you could [more easily] write a new backend, due to #1.
(6) If native compiler-hosting is needed, take the backend of #5, run the compiler through it, done.

Optional would be writing a FORTH implementation in Ada 2012/SPARK, where you could feed the Ada compiler to the FORTH-generating backend, and use that result as an intermediate form for bootstrapping.

  parent reply	other threads:[~2020-07-28 14:38 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-07-24 21:42 AdaCore's survey regarding the future of GNAT Community Edition Wesley Pan
2020-07-25  2:17 ` Stephen Leake
2020-07-25 10:35   ` Stéphane Rivière
2020-07-27  8:36   ` Fabien Chouteau
2020-07-25 10:35 ` Stéphane Rivière
2020-07-27  8:07 ` DrPi
2020-07-27  8:38   ` Fabien Chouteau
2020-07-28 13:06     ` DrPi
2020-07-28 14:38   ` Shark8 [this message]
2020-07-28 16:27     ` Simon Wright
2020-07-28 21:34       ` Shark8
2020-07-29  9:44         ` foo wong
2020-07-29 16:44           ` Simon Wright
2020-07-29 20:59             ` foo wong
2020-08-01  5:32 ` ldries46
2020-08-02 23:43   ` Stephen Leake
2020-08-15 16:38 ` Kevin K
2020-08-16  2:24   ` Roger Mc
2020-08-16 10:08     ` Simon Wright
2020-08-16 12:08       ` Stephen Leake
2020-08-16 12:54       ` Roger Mc
2020-08-19 14:29     ` Simon Wright
2020-08-19 18:09       ` Andreas ZEURCHER
2020-08-19 19:11         ` Dmitry A. Kazakov
2020-08-19 20:21           ` Luke A. Guest
2020-08-20  5:48           ` Roger Mc
2020-08-20  6:43             ` Stéphane Rivière
2020-08-31 14:54               ` Vincent DIEMUNSCH
2020-09-01 18:22                 ` Stephen Leake
2020-09-01 18:59                   ` Dmitry A. Kazakov
2020-08-19 20:17         ` Simon Wright
2020-08-19 20:19         ` Luke A. Guest
2020-08-19 20:50           ` Simon Wright
2020-08-19 21:35             ` Luke A. Guest
2020-08-20  5:53               ` Roger Mc
2020-08-20  6:12                 ` st...@cunningsystems.com
2020-08-20  9:04               ` Simon Wright
2020-08-20  5:42       ` Roger Mc
2020-08-20  6:01         ` Roger Mc
2020-08-16  2:42   ` Luke A. Guest
2020-08-17  8:51     ` Stéphane Rivière
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox