* 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 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 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 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 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-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
* 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-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
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