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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6e045a5e739e2c80
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.136.40 with SMTP id px8mr2424405pbb.1.1330029180114;
        Thu, 23 Feb 2012 12:33:00 -0800 (PST)
Path: 
 h9ni1147pbe.0!nntp.google.com!news1.google.com!postnews.google.com!z31g2000vbt.googlegroups.com!not-for-mail
From: Phil Clayton <phil.clayton@lineone.net>
Newsgroups: comp.lang.ada
Subject: 
 =?windows-1252?Q?Re=3A_Fun_with_History=3A=A0=93Why_wasn=27t_Ada83_object_or?=
	=?windows-1252?Q?iented=3F=94?=
Date: Thu, 23 Feb 2012 12:32:59 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <3f142041-423c-445c-adc5-6a45aa8d54f1@z31g2000vbt.googlegroups.com>
References: <op.v9t2jgpmule2fv@douda-yannick>
 <15362655.665.1330003793505.JavaMail.geo-discussion-forums@pbbox6>
 <m21uplldrh.fsf@pushface.org> <op.v9447jepule2fv@douda-yannick>
NNTP-Posting-Host: 2.24.11.60
Mime-Version: 1.0
X-Trace: posting.google.com 1330029179 28674 127.0.0.1 (23 Feb 2012 20:32:59
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 23 Feb 2012 20:32:59 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: z31g2000vbt.googlegroups.com; posting-host=2.24.11.60;
 posting-account=v7gx3AoAAABfjb9m5b7l_Lt2KVEgQBIe
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: HUALENKRC
X-HTTP-UserAgent: Mozilla/5.0 (X11; Linux x86_64;
 rv:10.0) Gecko/20100101 Firefox/10.0,gzip(gfe)
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Date: 2012-02-23T12:32:59-08:00
List-Id: <comp.lang.ada>

On Feb 23, 4:53=A0pm, Yannick Duch=EAne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> Le Thu, 23 Feb 2012 17:23:46 +0100, Simon Wright <si...@pushface.org> a
> =E9crit:> I remember using Ada as a design language and implementing in a=
ssembler!
> > Led to some interesting rumours ... and produced a rock-solid product (=
1
> > bug since the first release in about 1985, fixed in 1986).
>
> Talking about designing in a language and implementing in another, I am
> seeking for any pointers about designing in SML and implementing in Ada.
> Not that I have any trouble with this (I know a bit what can be mapped an=
d
> what cannot easily be), just that I feel this would be profitable to read
> about other's experiences with this.

I would imagine that such experiences have many similarities to model-
based design approaches where the design is executable, e.g. SCADE,
Simulink/Stateflow etc.  I too would be interested to know about any
specific experience using a functional language for design, not
necessarily SML, and implementation in a language like Ada, C.