From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!border3.nntp.dca.giganews.com!backlog3.nntp.dca3.giganews.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 29 Mar 2014 11:35:26 -0500
Date: Sat, 29 Mar 2014 12:35:25 -0400
From: Peter Chapin <PChapin@vtc.vsc.edu>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:24.0) Gecko/20100101 Thunderbird/24.4.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Augusta: An open source Ada 2012 compiler (someday?)
References: <zpudnYzhb9cIB7TO4p2dnAA@giganews.com>
 <1f0a85a6-ea4d-4d30-8537-0ce9063f992a@googlegroups.com>
 <lgeh3m$gqq$1@dont-email.me> <lgfsqj$g8i$1@loke.gir.dk>
 <lgopof$unl$1@loke.gir.dk> <lgsm50$vbg$1@speranza.aioe.org>
 <HtpYu.68491$Ls.67166@fx04.iad> <lgvduo$id7$1@dont-email.me>
 <nkRYu.112919$ti6.75704@fx17.iad> <lh205f$9ou$1@dont-email.me>
 <330b7d3b-4d12-4482-9ed2-2c82a32a6334@googlegroups.com>
 <Gvydnd4cIcw3javO4p2dnAA@giganews.com>
 <5336884c$0$22628$9b4e6d93@newsspool1.arcor-online.net>
In-Reply-To: <5336884c$0$22628$9b4e6d93@newsspool1.arcor-online.net>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Message-ID: <H5Cdnc5WhJ_Ta6vO4p2dnAA@giganews.com>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-oMUVv2xhPCFQ0e5yV5+cRfhc0CkqR0/7f6ge6TRi/QS3aq9icpksttSn8tuDBXQ4SgtIAuWWiBO8IVk!TKvhnusu30au8dJDwEZjL7IT2AWj2v4bHx6JMtYA0qt06pm9VsISf6xvNBZSj2I=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2875
Xref: news.eternal-september.org comp.lang.ada:19037
Date: 2014-03-29T12:35:25-04:00
List-Id: <comp.lang.ada>

On 2014-03-29 04:46, Georg Bauhaus wrote:

> Given Lisp compilers, is there some report or story of how
> its macro compiler was used for embedded systems? If not,
> would *Ada change that?

The only stuff I've read on this topic has been research papers about
toy languages. Off hand, I must admit, I don't know of any real life
application of staged programming in an embedded systems project. The
discussion I've seen has all been of a "what if" nature.

My dissertation is about a staged programming system for embedded
targets (wireless sensor networks specifically) [1,2]. While I'd like to
think it could be used for real programs, maybe after some clean up, I
don't believe anyone is doing so.

Ada is nice because it was designed to target embedded systems and yet
it also has some good, high level facilities as well. It could thus
potentially be used as both the language and the meta-language, which is
nice. The system I built for my dissertation uses two different
languages at the two stages which complicates things both theoretically
and pragmatically.

Peter

[1] http://web.vtc.edu/users/pcc09070/papers/chapin-dissertation.pdf
[2] https://github.com/pchapin/scala