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.
next prev 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