comp.lang.ada
 help / color / mirror / Atom feed
* Does Ada still competitive?
@ 2012-04-11  3:18 Sunny
  2012-04-11  7:20 ` tonyg
                   ` (3 more replies)
  0 siblings, 4 replies; 24+ messages in thread
From: Sunny @ 2012-04-11  3:18 UTC (permalink / raw)


Hi all!
I like the programming language.
But I saw a sentence on TOIBE index definition, it said that: "Ada is hardly used for new mission-critical systems anymore." Is that true?
And does Ada still teach in university and used in works?
Thanks!
Sun



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-11  3:18 Does Ada still competitive? Sunny
@ 2012-04-11  7:20 ` tonyg
  2012-04-11  7:21 ` gautier_niouzes
                   ` (2 subsequent siblings)
  3 siblings, 0 replies; 24+ messages in thread
From: tonyg @ 2012-04-11  7:20 UTC (permalink / raw)



No, its used in lots of mission critical infrastructure.

However I use it for my stuff because I am not fond of spending  eighty per cent of my time debugging. I also get to stand on the shoulders of some very clever folk who write some very useful packages. 




^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-11  3:18 Does Ada still competitive? Sunny
  2012-04-11  7:20 ` tonyg
@ 2012-04-11  7:21 ` gautier_niouzes
  2012-04-11 13:13 ` svampab
  2012-04-11 20:19 ` anon
  3 siblings, 0 replies; 24+ messages in thread
From: gautier_niouzes @ 2012-04-11  7:21 UTC (permalink / raw)


Sunny:

> Hi all!
> I like the programming language.
> But I saw a sentence on TOIBE index definition, it said that: "Ada is hardly used for new mission-critical systems anymore." Is that true?

This sentence is around 10 years old, so perhaps it used to be true, then. 

> And does Ada still teach in university and used in works?

For the 2nd part of the question, here is a list:
  http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html
I have introduced the technology at my work (so it makes one more new "mission-critical system" ;-) ) and the result is appreciated by users: stable and fast corporate software is not so common...
_________________________ 
Gautier's Ada programming 
http://sf.net/users/gdemont/



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-11  3:18 Does Ada still competitive? Sunny
  2012-04-11  7:20 ` tonyg
  2012-04-11  7:21 ` gautier_niouzes
@ 2012-04-11 13:13 ` svampab
  2012-04-11 13:35   ` gautier_niouzes
  2012-04-11 20:19 ` anon
  3 siblings, 1 reply; 24+ messages in thread
From: svampab @ 2012-04-11 13:13 UTC (permalink / raw)


I don't think TOIBE index is reliable source of the use of a language.
It uses search engines to find, so it finds th most popular, that is
not always equal to most used.

In fact, I've heard that 60% of coding nowadays is COBOL.

COBOL is still the main language in banking, but those programmers
dont make noise in the Net. Something similar happens to Ada. It is
used in huge, but closed projects. I'm sure that Ada is losing share
of market, nevertheless I'm sure that there is a lot of huge, huge
projects that employ hundred of programmers and thousand of man/hours
that are almost invisible in Internet.



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-11 13:13 ` svampab
@ 2012-04-11 13:35   ` gautier_niouzes
  0 siblings, 0 replies; 24+ messages in thread
From: gautier_niouzes @ 2012-04-11 13:35 UTC (permalink / raw)


svampab:

> I don't think TOIBE index is reliable source of the use of a language.

Note that they never claimed to measure the use of languages, and they make that point clear on their web page.

> It uses search engines to find, so it finds th most popular, that is
> not always equal to most used.

Exactly. Still, a popularity measure is /per se/ interesting.
I cannot resist to put an ad for my own flavour of the same idea:
  http://lang-index.sf.net

Cheers
G.



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-11  3:18 Does Ada still competitive? Sunny
                   ` (2 preceding siblings ...)
  2012-04-11 13:13 ` svampab
@ 2012-04-11 20:19 ` anon
  2012-04-11 22:59   ` Yannick Duchêne (Hibou57)
                     ` (2 more replies)
  3 siblings, 3 replies; 24+ messages in thread
From: anon @ 2012-04-11 20:19 UTC (permalink / raw)


No!

Ada is dying by a painful and slow death! Yes, there will always be a few 
that will try to play with Ada but the day of moving code to Ada is over and 
done with. Like, it was report here a few weeks ago, NASA is now pulling it 
Ada support. And most satellite and other companies went C in early 2000s.

One reason is the change to "Return by Type" from "Return by reference" 
which started around 2007.  The problem with "Return by Type" is that 
the "Generic package" must be compiled within the routine or package 
that uses it.  Which means the "Generic package" is a one application 
only so why use generic in the first place.  But companies like NASA 
over the years have created 1_000s of external "Generic packages" that 
are for multiple projects and at writing and compile time the "Generic 
package" has no concept of what type will be use. So the usage of 
"Return by Type" cause compiler errors on a massive scale on external. 
generic packages. This is one of many proof that Ada is not backward 
compatible. So, company like NASA are moving away from Ada to a more 
stable language that is 100% backward compatible like C. No rewrites 
on any package only compile, link and execute.


A second problem is that every year the ARG is moving Ada toward a C like 
language. An example is in Ada 2012, is functions now can use "in out" 
within the parameter list, such as

   function <name> ( <arg_1> : in out <type_1>; 
                     <arg_2> : in out <type_2> ) 
            return <return_type> ;

Which is classical C version of a procedure routine with the "return_type" 
being a error code. So, will the "Exceptions" and exception handler be 
next to be removed from Ada in 2020. That's a problem with existing Ada 
programmers, being that they may be forced to make 100s of re-writes 
to remove exceptions that no one want to do. And the ARG can not say 
for certain that exception will exist in Ada 2020 or after, until they 
vote on Ada 2020 RM sometime in 2020 or later.

A third is the "Not null" clause that are use in routine's parameter list 
starting with Ada 2005.  That cause introduces inefficiency error checking 
at the beginning of the routine that can not be truly optimized. This is, 
just like the C like "pragma Assert" which add very inefficiency code into 
one programs. 

There are others concepts that software division in companies like NASA 
or software shops do not like the direction Ada is going in because of 
the ARG.

Plus, the number of new Ada programmers are limited. Most small schools 
only teach languages that are under the Microsoft ".NET" umbrella or JAVA 
which mean Ada is not taught. And in large Universities the cost of a 
single class is too high to experiment just to learn a language that is 
being phased out by most programming departments.



In <2667883.6.1334114293790.JavaMail.geo-discussion-forums@pblw1>, Sunny <daetalusun@gmail.com> writes:
>Hi all!
>I like the programming language.
>But I saw a sentence on TOIBE index definition, it said that: "Ada is hardly used for new mission-critical systems anymore." Is that true?
>And does Ada still teach in university and used in works?
>Thanks!
>Sun




^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-11 20:19 ` anon
@ 2012-04-11 22:59   ` Yannick Duchêne (Hibou57)
  2012-04-11 23:03   ` Yannick Duchêne (Hibou57)
  2012-04-12  5:56   ` J-P. Rosen
  2 siblings, 0 replies; 24+ messages in thread
From: Yannick Duchêne (Hibou57) @ 2012-04-11 22:59 UTC (permalink / raw)


Le Wed, 11 Apr 2012 22:19:29 +0200, <anon@att.net> a écrit:
> One reason is the change to "Return by Type" from "Return by reference"
> which started around 2007.  The problem with "Return by Type" is that
> the "Generic package" must be compiled within the routine or package
> that uses it.  Which means the "Generic package" is a one application
> only so why use generic in the first place.
Don't bring confusion with generics and libraries. Generics are a design  
method you may compare with automatic program generation in some way,  
while libraries are something you link to. Your logic could lead to  
assertions like “this design pattern must be compiled for each use place,  
so why use design patterns at all?”. Do you see where your error is? If  
“Must not be recompiled” is not a requirement, no need to worry about. And  
compilation is the least nightmare for an enterprises like NASA is I  
believe.

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-11 20:19 ` anon
  2012-04-11 22:59   ` Yannick Duchêne (Hibou57)
@ 2012-04-11 23:03   ` Yannick Duchêne (Hibou57)
  2012-04-12  5:56   ` J-P. Rosen
  2 siblings, 0 replies; 24+ messages in thread
From: Yannick Duchêne (Hibou57) @ 2012-04-11 23:03 UTC (permalink / raw)


Le Wed, 11 Apr 2012 22:19:29 +0200, <anon@att.net> a écrit:
> So the usage of
> "Return by Type" cause compiler errors on a massive scale on external.
> generic packages. This is one of many proof that Ada is not backward
> compatible. So, company like NASA are moving away from Ada to a more
> stable language that is 100% backward compatible like C. No rewrites
> on any package only compile, link and execute.

You meant “compile, don't check, link and execute”?

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-11 20:19 ` anon
  2012-04-11 22:59   ` Yannick Duchêne (Hibou57)
  2012-04-11 23:03   ` Yannick Duchêne (Hibou57)
@ 2012-04-12  5:56   ` J-P. Rosen
  2012-04-13  2:00     ` Robert Love
  2012-04-13  9:06     ` anon
  2 siblings, 2 replies; 24+ messages in thread
From: J-P. Rosen @ 2012-04-12  5:56 UTC (permalink / raw)


Le 11/04/2012 22:19, anon@att.net a �crit :
<anon header>This is a response to FUD spread as usual by anon, to warn
people not to believe this nonsense </anon header>

> A second problem is that every year the ARG is moving Ada toward a C like 
> language. An example is in Ada 2012, is functions now can use "in out" 
> within the parameter list
As every C programmer knows, there are no in out parameters in C
[...]

> Which is classical C version of a procedure routine with the "return_type" 
> being a error code. So, will the "Exceptions" and exception handler be 
> next to be removed from Ada in 2020. That's a problem with existing Ada 
> programmers, being that they may be forced to make 100s of re-writes 
> to remove exceptions that no one want to do. And the ARG can not say 
> for certain that exception will exist in Ada 2020 or after, until they 
> vote on Ada 2020 RM sometime in 2020 or later.
The ARG is very careful about incompatibilities, and these are
introduced only when the benefits far outweighs the cost of
incompatibility. As fas as exceptions are concerned, I challenge you to
provide a single reference that the ARG ever considered removing them.

> A third is the "Not null" clause that are use in routine's parameter list 
> starting with Ada 2005.  That cause introduces inefficiency error checking 
> at the beginning of the routine that can not be truly optimized.
On the contrary, it replaces many checks in the body of the called
subprogram by a single check at the call site.

> There are others concepts that software division in companies like NASA 
> or software shops do not like the direction Ada is going in because of 
> the ARG.
Please provide a reference to support that claim (other than your own
rambling)

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-12  5:56   ` J-P. Rosen
@ 2012-04-13  2:00     ` Robert Love
  2012-04-13  9:06     ` anon
  1 sibling, 0 replies; 24+ messages in thread
From: Robert Love @ 2012-04-13  2:00 UTC (permalink / raw)


On 2012-04-12 05:56:40 +0000, J-P. Rosen said:

> 
>> There are others concepts that software division in companies like NASA
>> or software shops do not like the direction Ada is going in because of
>> the ARG.
> Please provide a reference to support that claim (other than your own
> rambling)

First, NASA is not a company.  NASA does have companies that work for it.

I'm the one who has bemoaned NASA/JSC giving up on Ada here in this 
forum.  Where the original poster got his information I would like to 
know.  What branch of NASA is he speaking about?  JSC is just going 
with the flow.  The software managers just know that C++ is trendy and 
their programmers already know it.  There is no trade study or 
rationale reason expressed that I know of.




^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-12  5:56   ` J-P. Rosen
  2012-04-13  2:00     ` Robert Love
@ 2012-04-13  9:06     ` anon
  2012-04-13 12:12       ` Ludovic Brenta
                         ` (2 more replies)
  1 sibling, 3 replies; 24+ messages in thread
From: anon @ 2012-04-13  9:06 UTC (permalink / raw)


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 11376 bytes --]


Problem with 
Backward Compatibility:

100% backwards compatible is not a cost to be calculated and weighed it 
a requirement for all languages including, the spoken and written human
languages. Only sub-sets of the language can limit the usage of any 
language or statements. And once a word or statement is added it can never 
be deleted or its initial purpose removed. 

So, for an update to any computer language, it must be 100% backwards 
compatible with the previous version of the language.  If not then the 
update is to be known as a "new" language. And this standard is understood 
by all computer language designers, or updaters, like IBM, SUN, Miscrosoft, 
etc.

One example is that FORTRAN still allows the old arithmetic "if" statement 
without any compiler options. Even though most programmers, since FORTRAN 
77 have abandon that statement for the new powerfully "if-then-else" 
statement. But in keeping the old statement does allows FORTRAN to 
maintain its 100% backwards compatible.

And another example is JAVA which complies with this standard law for 
language. Yes it will complains when compiling a JAVA 1.00 routine or 
applet on an updated compiler such as Java 6 but the routine or applet 
will still compile and run. 

Then there Ada, when Ada 83 was updated to Ada 95, first the changes were 
explained in Annex J. "Obsolescent Features". One example was the Ada 
system libraries names, while Ada 83 use parent only names, Ada 95 
introduce parent.child names. Which meant for Ada 95 to be 100% backwards 
compatible in this case that any Ada compiler either had to provide the 
addition of the Ada 83 libraries (Best programming) or just specification 
files containing the routines names with "pragma Interface" (Ada 83) that 
would allow linkage into the Ada 95 libraries using "pragma Export" 
statements on the Ada 95 side, This would also keep any new Ada 95 or future 
features out of Ada 83 code (Good programming). But GNAT just use Ada 95 
with renaming statement which could allow some Ada 95 or later features 
into Ada 83 code (Bad programming). Actually to compile an Ada 83 library 
routine using GNAT way, means that the compiler is in error. An example is 
from "Text_IO.ads":

  pragma Ada_95;
  -------------
  warning pragma is not acknowledge in Ada 83. 
  
  -- Ada 83 only reports non-standardize pragmas RM 2.8. GNAT was not 
  -- available for Ada 83 so "pragma Ada_83" is an Ada 95 implementation
  -- statement. Aka this statement must have no effect on the compiler
  -- while compiling in Ada 83 mode.
  --
  -- note: if accepted under Ada 83 it would allow all feature of 
  -- Ada 95 to be used in Ada 83. (Very Bad programming design)
  -- for any Ada 83 only code

  with Ada.Text_IO;
       -------------
       illegal package name in Ada 83

  package Text_IO renames Ada.Text_IO;
                          -----------
                          illegal package name in Ada 83


In truth using pragma Ada_83 or Ada_95 does not guarantee that the 
GNAT compiler will see the correct version of Ada. And examples of 
this is in overloading the "=" function. In GNAT compiling using Ada 
83 option or pragma Ada_83 an "=" will accept any type. But in RM 83 
( 6.7 ) states the "=" "is only allowed if both parameters are of the 
same limited type." and the result must be Boolean, this was altered 
in Ada 95 to allow any type such as access type with result being any 
type.

An example that will compile in GNAT using "-gnat83"  but Ada 83 RM 
states it should not. So, the GNAT compiler should state:

 function "=" ( Left, Right : Integer_Access ) return Integer_Access ;
                              ---------------         --------------
                           RM 6.7 not a limited type
                           -- not an Ada 83 feature

                                                     RM 6.7 not Boolean
                                                  -- not an Ada 83 feature

Besides the overloading "=" error there is removal of a number of 
pragma statement in Ada 95, which were used by Cray and others in Ada 83. 
So, since Ada 95 is not 100% backwards compatible, so, Ada 95 should be 
classified as a new language that must complete with its predecessor 
Ada 83 but never replace it. 

And a number of changes in "Ada 2005" alters the Ada 95 statements 
which delete the 100% backwards compatible, so Ada 20056 is a new 
language.  And then there "Ada 2012 Corrigendum 1" also know as the 
"correction of errors" for Ada but instead of correcting some error it 
alters external Generic packages a big plus for Ada by replacing the 
"return by reference" by "return by type" causes existing re-usable  
external Generic packages to nolonger compile makes "Ada 2012" a completely 
100% new language that can never be 100% backwards compatible with any 
predecessor Ada 2005, Ada 95 or Ada 83.

So The ARG has not turn Ada language into four similar by different 
languages.

  Ada 83,   (adopted 1987)
  Ada 95,   (adopted 1995)
  Ada 2005, (adopted 2007)
  Ada 2012, (adopted 201?)

And No the ARG can not just pull Ada 83. Once a language has been 
created it there until the end of time. The ARG can only state that it is 
nolonger officially being supported any more by the ARG. But others like 
IBM for one can pick it up. IBM has done this for other languages.

The ARG says that each new Ada is only an upgrade. If that was the case,
then every statement every used in prior Ada version would still be 
operational in the updated version. Like "return by reference", would 
still be usable. And with almost every aspect of Ada now being optional, 
there is no true base standard that one can rely upon to use for the 
language.



Problem with 
Optimization:

Reference any and all "Software Optimization Reference Manual" or any 
chapters in a CPU designer manual's set that deals with Optimization. For 
Intel they use a manual, that can be download from Intel web site. 

 "Intel� 64 and IA-32 Architectures Optimization Reference Manual"

It states that any interruption in the execution stream, such as 
unnecessary verification checks decrease cpu performance and optimization.
Because it can cause the instruction pipelining as well as the memory 
caches to be flushed. And these type of statements can be found in SUN, 
SGI, IBM, and all others CPU manual set. And the "not null" feature is 
unnecessary aka a wasted code if the programmer designs his code 
correctly. Which makes the "not null" more of a high school teaching 
concept that should never be allowed in a language or production line 
compiler or language translator.

But since a number of ARG members are directly associated with Adacore. 
It seams ARG are not too concern with optimization because the 
optimization for GNAT, which is normally in the "Middle End" of a compiler 
is actually performed by the GCC backend which is not apart of GNAT Ada 
code. Plus secondary problem is that Adacode can not guarantee what code 
will be produce by GCC "backend" routines.

And why is this a problem, well through the years a number of GCC versions 
have had issues with processor and code optimization. You can find a few 
papers on file at some major university libraries and a couple on the 
internet. As an example you can find an articles on GCC versions and 
the 128/256-bit multi-precision math packages, stating the package is not 
being optimized correctly on some version of GCC. 

So, should GNAT use GCC backend or should GNAT bypass GCC "backend" and 
have its own "Middle and Back End" routines. For the issue of Ada 
optimization it seams that GNAT should bypass GCC. Because Ada contains 
two options for optimization one is for "Space" and "Time" which both could 
be handled initially in the "Middle end". Where the uncalled routines could 
be removed and then the remaining AST code could be optimize for Time.  
Then later in the binder ("gnatbind") could remove any dead code from 
precompiled Ada library packages, while linking that package, unlike most 
other linkers which just copy the dead code into the program. But in order 
to remove the dead code the binder ("gnatbind") would have to bypass calling 
GCC linkers and preform the link/editing itself while removing the dead code 
from the library packages. And course this removes the constant updating
of GNAT to every new version of GCC, which saves money and time.


As for 2020 and exceptions.

Taff S. Tucker stated in a number of speeches in the mid 1980s that he 
did not like the Ada exceptions he preferred the return code of the C 
procedure which is now apart of Ada 2012 function. So, it goes that Tucker 
may try to talk the ARG into removing exception data type altogether. 
Especially since 2020 might be his last chance to update Ada. And since 
most of the new Ada programmers are those moving from C they have little 
experience in using Ada exceptions so with the C like procedure aka Ada 
function they will not ever miss the power and performance of Ada exceptions 
and handlers.

And at the movement no one can say what changes will occur between adoption 
of 2012 and the adoption of 2020. But with the "return by type" change no
one want to bet on what will not be there.


These are three of a few reason why Ada has become "Obsolete" to most 
software shops and schools.



In <jm5qqp$n1g$1@dont-email.me>, "J-P. Rosen" <rosen@adalog.fr> writes:
>Le 11/04/2012 22:19, anon@att.net a �crit :
><anon header>This is a response to FUD spread as usual by anon, to warn
>people not to believe this nonsense </anon header>
>
>> A second problem is that every year the ARG is moving Ada toward a C like 
>> language. An example is in Ada 2012, is functions now can use "in out" 
>> within the parameter list
>As every C programmer knows, there are no in out parameters in C
>[...]
>
>> Which is classical C version of a procedure routine with the "return_type" 
>> being a error code. So, will the "Exceptions" and exception handler be 
>> next to be removed from Ada in 2020. That's a problem with existing Ada 
>> programmers, being that they may be forced to make 100s of re-writes 
>> to remove exceptions that no one want to do. And the ARG can not say 
>> for certain that exception will exist in Ada 2020 or after, until they 
>> vote on Ada 2020 RM sometime in 2020 or later.
>The ARG is very careful about incompatibilities, and these are
>introduced only when the benefits far outweighs the cost of
>incompatibility. As fas as exceptions are concerned, I challenge you to
>provide a single reference that the ARG ever considered removing them.
>
>> A third is the "Not null" clause that are use in routine's parameter list 
>> starting with Ada 2005.  That cause introduces inefficiency error checking 
>> at the beginning of the routine that can not be truly optimized.
>On the contrary, it replaces many checks in the body of the called
>subprogram by a single check at the call site.
>
>> There are others concepts that software division in companies like NASA 
>> or software shops do not like the direction Ada is going in because of 
>> the ARG.
>Please provide a reference to support that claim (other than your own
>rambling)
>
>-- 
>J-P. Rosen
>Adalog
>2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
>Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
>http://www.adalog.fr




^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-13  9:06     ` anon
@ 2012-04-13 12:12       ` Ludovic Brenta
  2012-04-13 14:39         ` Georg Bauhaus
  2012-04-13 13:15       ` Mark Lorenzen
  2012-04-15  7:00       ` J-P. Rosen
  2 siblings, 1 reply; 24+ messages in thread
From: Ludovic Brenta @ 2012-04-13 12:12 UTC (permalink / raw)
  Cc: anon

anon writes on comp.lang.ada:
> Problem with 
> Backward Compatibility:
> 
> 100% backwards compatible is not a cost to be calculated and weighed
> is a requirement for all languages including, the spoken and written
> human languages.

Read Beowulf or even Shakespeare's sonnets and tell me English is
backward compatible.

BS.

-- 
Ludovic Brenta.



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-13  9:06     ` anon
  2012-04-13 12:12       ` Ludovic Brenta
@ 2012-04-13 13:15       ` Mark Lorenzen
  2012-04-13 22:02         ` Rugxulo
  2012-04-15  7:00       ` J-P. Rosen
  2 siblings, 1 reply; 24+ messages in thread
From: Mark Lorenzen @ 2012-04-13 13:15 UTC (permalink / raw)


I won't comment on all your rambling, but focus on a feature of GNAT.

On 13 Apr., 11:06, a...@att.net wrote:
>
> Then later in the binder ("gnatbind") could remove any dead code from
> precompiled Ada library packages, while linking that package, unlike most
> other linkers which just copy the dead code into the program. But in order
> to remove the dead code the binder ("gnatbind") would have to bypass calling
> GCC linkers and preform the link/editing itself while removing the dead code
> from the library packages. And course this removes the constant updating
> of GNAT to every new version of GCC, which saves money and time.

The GNU linker that is shipped with GNAT is perfectly able to remove
unused subprograms and unused data from the executable. See
http://docs.adacore.com/gnat-unw-docs/html/gnat_ugn_8.html#SEC103

Regards

Mark L



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-13 12:12       ` Ludovic Brenta
@ 2012-04-13 14:39         ` Georg Bauhaus
  0 siblings, 0 replies; 24+ messages in thread
From: Georg Bauhaus @ 2012-04-13 14:39 UTC (permalink / raw)


On 13.04.12 14:12, Ludovic Brenta wrote:
> anon writes on comp.lang.ada:
>> Problem with 
>> Backward Compatibility:
>>
>> 100% backwards compatible is not a cost to be calculated and weighed
>> is a requirement for all languages including, the spoken and written
>> human languages.
> 
> Read Beowulf or even Shakespeare's sonnets and tell me English is
> backward compatible.

Interestingly, there have been heated discussions about
parts of C99 that are not compatible with C89.

Microsoft compilers for C# version N do not accept programs
written for and using features of C# version N+1.

IMHO, this whole backwards compatibility business is
based on FUD. They sell translators for Ada 2005 that
target a number of programming languages, such as C and
a host of assembly languages. And they of all would not be
capable of targeting a programming language such as Ada 95?

I'd rather expect them to have a shop keeper's interest in not
selling an Ada 2005 -> Ada 95 translator, but to also persuade
the customers to give up their Ada 95 compiler and enter
an entirely new business relationship.



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-13 13:15       ` Mark Lorenzen
@ 2012-04-13 22:02         ` Rugxulo
  2012-04-18  1:50           ` BrianG
  0 siblings, 1 reply; 24+ messages in thread
From: Rugxulo @ 2012-04-13 22:02 UTC (permalink / raw)


Hi,

On Apr 13, 8:15 am, Mark Lorenzen <mark.loren...@gmail.com> wrote:
>
> I won't comment on all your rambling, but focus on a feature of GNAT.
>
> On 13 Apr., 11:06, a...@att.net wrote:
>
> > Then later in the binder ("gnatbind") could remove any dead code from
> > precompiled Ada library packages, while linking that package, unlike most
> > other linkers which just copy the dead code into the program. But in order
> > to remove the dead code the binder ("gnatbind") would have to bypass calling
> > GCC linkers and preform the link/editing itself while removing the dead code
> > from the library packages. And course this removes the constant updating
> > of GNAT to every new version of GCC, which saves money and time.
>
> The GNU linker that is shipped with GNAT is perfectly able to remove
> unused subprograms and unused data from the executable. See
> http://docs.adacore.com/gnat-unw-docs/html/gnat_ugn_8.html#SEC103

This only works for ELF, I think. At least it doesn't work for DJGPP
COFF. Maybe your point was that it does (sometimes) work and could
work in all places, but that doesn't change the fact that it's not a
universal solution, sadly.

Perhaps the best workaround is just to put each subprogram in its own
separate file, and put all those compiled objects into a library. I
think others (FPC??) do similar on some targets. (And all the above is
probably doing is putting each subprogram in its own named section in
the object, stripping it at link time, e.g. XDS.)



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-13  9:06     ` anon
  2012-04-13 12:12       ` Ludovic Brenta
  2012-04-13 13:15       ` Mark Lorenzen
@ 2012-04-15  7:00       ` J-P. Rosen
  2 siblings, 0 replies; 24+ messages in thread
From: J-P. Rosen @ 2012-04-15  7:00 UTC (permalink / raw)


Le 13/04/2012 11:06, anon@att.net a �crit :
> Taff S. Tucker stated in a number of speeches in the mid 1980s that he 
> did not like the Ada exceptions he preferred the return code of the C 
> procedure which is now apart of Ada 2012 function. So, it goes that Tucker 
> may try to talk the ARG into removing exception data type altogether.
So, your line of reasoning is:

Tucker said something 30 years ago
=> he still believes it
   => he is willing to fight for it
      => he may be pushing the ARG
         => he is pushing the ARG
            => the ARG will remove exceptions

Come on!

Short answer: this did not happen. Full stop.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-13 22:02         ` Rugxulo
@ 2012-04-18  1:50           ` BrianG
  2012-04-18  6:51             ` gautier_niouzes
  0 siblings, 1 reply; 24+ messages in thread
From: BrianG @ 2012-04-18  1:50 UTC (permalink / raw)


On 04/13/2012 06:02 PM, Rugxulo wrote:
> Hi,
>
> On Apr 13, 8:15 am, Mark Lorenzen<mark.loren...@gmail.com>  wrote:
>>
>> I won't comment on all your rambling, but focus on a feature of GNAT.
>>
>> On 13 Apr., 11:06, a...@att.net wrote:
>>
>>> Then later in the binder ("gnatbind") could remove any dead code from
>>> precompiled Ada library packages, while linking that package, unlike most
>>> other linkers which just copy the dead code into the program. But in order
>>> to remove the dead code the binder ("gnatbind") would have to bypass calling
>>> GCC linkers and preform the link/editing itself while removing the dead code
>>> from the library packages. And course this removes the constant updating
>>> of GNAT to every new version of GCC, which saves money and time.
>>
>> The GNU linker that is shipped with GNAT is perfectly able to remove
>> unused subprograms and unused data from the executable. See
>> http://docs.adacore.com/gnat-unw-docs/html/gnat_ugn_8.html#SEC103
>
> This only works for ELF, I think. At least it doesn't work for DJGPP
> COFF.

Does current, or even remotely recent, GNAT support DJGPP?  I haven't 
heard of a version since around 3.15.  Could that be the problem?

>       Maybe your point was that it does (sometimes) work and could
> work in all places, but that doesn't change the fact that it's not a
> universal solution, sadly.


-- 
---
BrianG
000
@[Google's email domain]
.com



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-18  1:50           ` BrianG
@ 2012-04-18  6:51             ` gautier_niouzes
  2012-04-19 22:24               ` Yannick Duchêne (Hibou57)
  2012-04-21  0:52               ` BrianG
  0 siblings, 2 replies; 24+ messages in thread
From: gautier_niouzes @ 2012-04-18  6:51 UTC (permalink / raw)


Am Mittwoch, 18. April 2012 03:50:48 UTC+2 schrieb BrianG:
> Does current, or even remotely recent, GNAT support DJGPP?  I haven't 
> heard of a version since around 3.15.

It's the reverse: DJGPP supports GNAT - see the ada* files there:
http://www.delorie.com/pub/djgpp/current/v2gnu/

Last time I've tried it worked fine (in a DOSBox, 1-2 years ago).
_________________________ 
Gautier's Ada programming 
http://sf.net/users/gdemont/



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-18  6:51             ` gautier_niouzes
@ 2012-04-19 22:24               ` Yannick Duchêne (Hibou57)
  2012-04-20 12:53                 ` Fritz Wuehler
  2012-04-21  0:52               ` BrianG
  1 sibling, 1 reply; 24+ messages in thread
From: Yannick Duchêne (Hibou57) @ 2012-04-19 22:24 UTC (permalink / raw)


Le Wed, 18 Apr 2012 08:51:14 +0200, <gautier_niouzes@hotmail.com> a écrit:

> Am Mittwoch, 18. April 2012 03:50:48 UTC+2 schrieb BrianG:
>> Does current, or even remotely recent, GNAT support DJGPP?  I haven't
>> heard of a version since around 3.15.
>
> It's the reverse: DJGPP supports GNAT - see the ada* files there:
> http://www.delorie.com/pub/djgpp/current/v2gnu/
>
> Last time I've tried it worked fine (in a DOSBox, 1-2 years ago).
> _________________________
> Gautier's Ada programming
> http://sf.net/users/gdemont/

Who use DJGPP and for which reasons?

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-19 22:24               ` Yannick Duchêne (Hibou57)
@ 2012-04-20 12:53                 ` Fritz Wuehler
  2012-04-22  9:02                   ` gautier_niouzes
  0 siblings, 1 reply; 24+ messages in thread
From: Fritz Wuehler @ 2012-04-20 12:53 UTC (permalink / raw)


> Who use DJGPP and for which reasons?

people who use DOS

because they can

although gcc is so bloated it is hard to use anything related to it on DOS




^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-18  6:51             ` gautier_niouzes
  2012-04-19 22:24               ` Yannick Duchêne (Hibou57)
@ 2012-04-21  0:52               ` BrianG
  2012-04-21 10:53                 ` Pascal Obry
  2012-04-21 10:54                 ` Pascal Obry
  1 sibling, 2 replies; 24+ messages in thread
From: BrianG @ 2012-04-21  0:52 UTC (permalink / raw)


On 04/18/2012 02:51 AM, gautier_niouzes@hotmail.com wrote:
> Am Mittwoch, 18. April 2012 03:50:48 UTC+2 schrieb BrianG:
>> Does current, or even remotely recent, GNAT support DJGPP?  I haven't
>> heard of a version since around 3.15.
>
> It's the reverse: DJGPP supports GNAT - see the ada* files there:
> http://www.delorie.com/pub/djgpp/current/v2gnu/
>
> Last time I've tried it worked fine (in a DOSBox, 1-2 years ago).

Then, apparently, it doesn't support the stated "feature" of GNAT (the 
linker removing unused programs and data).  Is this a GNAT problem (as 
stated in the post I referenced), or a problem/limitation in DJGPP?  (Of 
course, I don't know what any of this has to do with Ada features.)
> _________________________
> Gautier's Ada programming
> http://sf.net/users/gdemont/


-- 
---
BrianG
000
@[Google's email domain]
.com



^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-21  0:52               ` BrianG
@ 2012-04-21 10:53                 ` Pascal Obry
  2012-04-21 10:54                 ` Pascal Obry
  1 sibling, 0 replies; 24+ messages in thread
From: Pascal Obry @ 2012-04-21 10:53 UTC (permalink / raw)
  To: BrianG

Le 21/04/2012 02:52, BrianG a �crit :
> Then, apparently, it doesn't support the stated "feature" of GNAT (the
> linker removing unused programs and data).  Is this a GNAT problem (as
> stated in the post I referenced), or a problem/limitation in DJGPP?  (Of
> course, I don't know what any of this has to do with Ada features.)

I think this is a current binutils linker limitation which does not
support --gc-sections option on pe-coff target. So nothing to do with
GCC or GNAT. AFAIK, there is some work to support this.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|    http://www.obry.net  -  http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B




^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-21  0:52               ` BrianG
  2012-04-21 10:53                 ` Pascal Obry
@ 2012-04-21 10:54                 ` Pascal Obry
  1 sibling, 0 replies; 24+ messages in thread
From: Pascal Obry @ 2012-04-21 10:54 UTC (permalink / raw)


Le 21/04/2012 02:52, BrianG a �crit :
> Then, apparently, it doesn't support the stated "feature" of GNAT (the
> linker removing unused programs and data).  Is this a GNAT problem (as
> stated in the post I referenced), or a problem/limitation in DJGPP?  (Of
> course, I don't know what any of this has to do with Ada features.)

I think this is a current binutils linker limitation which does not
support --gc-sections option on pe-coff target. So nothing to do with
GCC or GNAT. AFAIK, there is some work to support this.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|    http://www.obry.net  -  http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B




^ permalink raw reply	[flat|nested] 24+ messages in thread

* Re: Does Ada still competitive?
  2012-04-20 12:53                 ` Fritz Wuehler
@ 2012-04-22  9:02                   ` gautier_niouzes
  0 siblings, 0 replies; 24+ messages in thread
From: gautier_niouzes @ 2012-04-22  9:02 UTC (permalink / raw)


Fritz:

> people who use DOS
> because they can
> although gcc is so bloated it is hard to use anything related to it on DOS

DJGPP and most programming systems developped for DOS since ~1990 are using some 32-bit DOS extender, so no 640KB limitation there - if you are referring to memory limitations.
_________________________ 
Gautier's Ada programming 
http://sf.net/users/gdemont/



^ permalink raw reply	[flat|nested] 24+ messages in thread

end of thread, other threads:[~2012-04-22  9:02 UTC | newest]

Thread overview: 24+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-04-11  3:18 Does Ada still competitive? Sunny
2012-04-11  7:20 ` tonyg
2012-04-11  7:21 ` gautier_niouzes
2012-04-11 13:13 ` svampab
2012-04-11 13:35   ` gautier_niouzes
2012-04-11 20:19 ` anon
2012-04-11 22:59   ` Yannick Duchêne (Hibou57)
2012-04-11 23:03   ` Yannick Duchêne (Hibou57)
2012-04-12  5:56   ` J-P. Rosen
2012-04-13  2:00     ` Robert Love
2012-04-13  9:06     ` anon
2012-04-13 12:12       ` Ludovic Brenta
2012-04-13 14:39         ` Georg Bauhaus
2012-04-13 13:15       ` Mark Lorenzen
2012-04-13 22:02         ` Rugxulo
2012-04-18  1:50           ` BrianG
2012-04-18  6:51             ` gautier_niouzes
2012-04-19 22:24               ` Yannick Duchêne (Hibou57)
2012-04-20 12:53                 ` Fritz Wuehler
2012-04-22  9:02                   ` gautier_niouzes
2012-04-21  0:52               ` BrianG
2012-04-21 10:53                 ` Pascal Obry
2012-04-21 10:54                 ` Pascal Obry
2012-04-15  7:00       ` J-P. Rosen

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