From: Phil Clayton <phil.clayton@lineone.net>
Subject: Re: Fun with History: “Why wasn't Ada83 object oriented?”
Date: Thu, 23 Feb 2012 12:32:59 -0800 (PST)
Date: 2012-02-23T12:32:59-08:00 [thread overview]
Message-ID: <3f142041-423c-445c-adc5-6a45aa8d54f1@z31g2000vbt.googlegroups.com> (raw)
In-Reply-To: op.v9447jepule2fv@douda-yannick
On Feb 23, 4:53 pm, Yannick Duchêne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> Le Thu, 23 Feb 2012 17:23:46 +0100, Simon Wright <si...@pushface.org> a
> écrit:> I remember using Ada as a design language and implementing in assembler!
> > 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 and
> 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.
next prev parent reply other threads:[~2012-02-23 20:33 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-17 17:22 Fun with History: “Why wasn't Ada83 object oriented?” Yannick Duchêne (Hibou57)
2012-02-17 17:31 ` Yannick Duchêne (Hibou57)
2012-02-17 17:33 ` Fun with History: ³Why wasn't Ada83 object oriented?² Bill Findlay
2012-02-23 13:29 ` Fun with History: “Why wasn't Ada83 object oriented?” Marco
2012-02-23 16:23 ` Simon Wright
2012-02-23 16:53 ` Yannick Duchêne (Hibou57)
2012-02-23 18:20 ` Simon Wright
2012-02-23 20:32 ` Phil Clayton [this message]
2012-02-24 1:14 ` Peter C. Chapin
2012-02-24 21:32 ` Re=Fun_with_History why_wasnt_Ada83_object_oriented tmoran
2012-02-26 14:53 ` Marco
2012-02-26 18:02 ` J-P. Rosen
[not found] ` <u-adnbL5aqVVy9fSnZ2dnUVZ_jednZ2d@earthlink.com>
2012-02-26 18:28 ` Yannick Duchêne (Hibou57)
2012-02-26 21:45 ` Jeffrey Carter
2012-02-27 17:37 ` Adam Beneschan
2012-02-27 20:27 ` Jeffrey Carter
2012-02-26 18:33 ` tmoran
2012-02-26 16:22 ` Marco
2012-03-06 1:48 ` Randy Brukardt
2012-03-07 10:33 ` Early availability of cheap Ada compilers (Was: Re=Fun_with_History why_wasnt_Ada83_object_oriented) Jacob Sparre Andersen
2012-03-07 12:43 ` Simon Clubley
2012-03-08 1:42 ` Randy Brukardt
2012-03-08 1:38 ` Randy Brukardt
2012-03-08 12:21 ` Simon Clubley
2012-03-09 2:20 ` Randy Brukardt
2012-03-08 9:00 ` anon
2012-03-08 15:32 ` Shark8
[not found] ` <5d2664b3-566a-40a5-910b-ef3460a5f363@do4g2000vbb.googlegroups.com>
2012-02-26 22:03 ` Re=Fun_with_History why_wasnt_Ada83_object_oriented J-P. Rosen
2012-02-27 1:29 ` tmoran
2012-02-26 22:06 ` Gautier write-only
2012-02-27 2:15 ` anon
2012-02-27 4:05 ` Yannick Duchêne (Hibou57)
2012-02-27 8:41 ` Dmitry A. Kazakov
2012-03-06 1:40 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox