comp.lang.ada
 help / color / mirror / Atom feed
From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: Automated conversion to C++?
Date: Sat, 16 Feb 2008 17:42:16 +0100
Date: 2008-02-16T17:42:16+01:00	[thread overview]
Message-ID: <ygebq6gj1jr.fsf@hugin.crs4.it> (raw)
In-Reply-To: pan.2008.02.16.13.47.35.100187@linuxchip.demon.co.uk.uk.uk

Dr. Adrian Wrigley wrote:
> On Fri, 15 Feb 2008 14:33:08 +0100, Jacob Sparre Andersen wrote:

> If you have to supply a C++ program semanticly equivalent to the
> binary you deliver, the best choice is to write it in pure C (or
> C++).

The requirement for C++ has not been formulated in such strict terms.

If I come to the conclusion that writing directly in one of the
C-languages is the only option, I'll just skip the project.

> You are guaranteed equivalence.  You need find no translators.  You
> have no mismatches in runtime. The risk is low.

But my working environment will be unbearable.

> C++ makes so many Ada capabilities a real nuisance to implement.
> Basics like enumerations with constraint checks, fixed point types,
> floating point attributes, integer over/underflow exceptions need
> loads of messy C++ (often with specialized headers) to implement.

I don't care about how messy the C++ code is going to be.  We'll most
likely be running the Ada version internally.  The C++ code is only a
matter of public perception.  The project lead is of the opinion that
publishing the system with C++ code will make more scientists
interested in the system.

> If a customer is paying to get C++ source, don't write it in Ada -
> they presumably don't care for a robust, low-defect solution.  If
> they did, they would put constraints on the C++ (eg must run at
> least 80% of the speed.  Use no more than 1.3x the memory)

It is not a matter of code quality.  It is a matter of a decent work
environment for myself.

Thanks for the advice.

Jacob
-- 
�It will not be forever. - It will just seem like it.� -- Death



  reply	other threads:[~2008-02-16 16:42 UTC|newest]

Thread overview: 48+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-02-15 13:33 Automated conversion to C++? Jacob Sparre Andersen
2008-02-15 14:11 ` Robert A Duff
2008-02-15 19:12   ` Jacob Sparre Andersen
2008-02-16  0:44     ` Robert A Duff
2008-02-17 22:31       ` Phaedrus
2008-02-18  0:59         ` Larry Kilgallen
2008-02-18  7:14         ` Martin Krischik
2008-02-19  1:04           ` Phaedrus
2008-02-19 17:01             ` Martin Krischik
2008-02-18  7:10       ` Martin Krischik
2008-02-18  7:08   ` Martin Krischik
2008-04-03  9:48   ` vindhya
2008-04-03 13:27     ` Robert A Duff
2008-02-15 18:24 ` Jeffrey R. Carter
2008-02-15 20:35   ` Maciej Sobczak
2008-02-16  4:52     ` Jeffrey R. Carter
2008-02-16  7:40       ` Pascal Obry
2008-02-16 12:12       ` Peter C. Chapin
2008-02-16 13:41         ` Larry Kilgallen
2008-02-16 16:35           ` Maciej Sobczak
2008-02-16 17:12             ` Jeffrey R. Carter
2008-02-16 21:23               ` Maciej Sobczak
2008-02-16 22:11                 ` Jeffrey R. Carter
2008-02-19 16:46                   ` Jacob Sparre Andersen
2008-02-17 12:41             ` Larry Kilgallen
2008-02-17 18:57               ` Peter C. Chapin
2008-02-17 19:50                 ` Larry Kilgallen
2008-02-18 14:43                   ` Maciej Sobczak
2008-02-18 19:17                     ` Larry Kilgallen
2008-02-18 19:44                       ` Peter C. Chapin
2008-02-19  0:05                         ` John W. Kennedy
2008-02-19  7:29                         ` Jean-Pierre Rosen
2008-02-18 20:01                       ` Jeffrey R. Carter
2008-02-18 23:33                       ` Randy Brukardt
2008-02-20  1:53                     ` Subject: POSIX , Ada, Line Feeds, etc (was Automated conversion to C++) KarlNyberg
2008-02-21  7:34                       ` Subject: POSIX , Ada, Line Feeds, etc Jacob Sparre Andersen
2008-02-16 17:09         ` Automated conversion to C++? Jeffrey R. Carter
2008-02-16 16:31       ` Maciej Sobczak
2008-02-16 17:20         ` Jeffrey R. Carter
2008-02-16 13:21   ` Jacob Sparre Andersen
2008-02-16 17:15     ` Jeffrey R. Carter
2008-02-16 13:43 ` Dr. Adrian Wrigley
2008-02-16 16:42   ` Jacob Sparre Andersen [this message]
2008-02-16 16:58     ` Martin
2008-02-21  7:14       ` Jacob Sparre Andersen
2008-02-16 21:43     ` Maciej Sobczak
2008-02-16 22:04       ` Jeffrey R. Carter
2008-02-16 18:27   ` tmoran
replies disabled

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