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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Why .ads as well as .adb? Date: Mon, 10 Jun 2019 17:07:38 -0500 Organization: JSA Research & Innovation Message-ID: References: <28facad3-c55f-4ef2-8ef8-004925b7d1f1@googlegroups.com> <87woi0xtwm.fsf@nightsong.com> <4a0438de-1f1d-4469-aae4-908854d378ea@googlegroups.com> <47d02bdc-6b50-43aa-bc5d-bb5b6225f5bd@googlegroups.com> Injection-Date: Mon, 10 Jun 2019 22:07:40 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="20285"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader01.eternal-september.org comp.lang.ada:56607 Date: 2019-06-10T17:07:38-05:00 List-Id: "Maciej Sobczak" wrote in message news:bab5af5d-a3d7-412d-b3c9-1e573e2dd467@googlegroups.com... > No, you are proving that you refuse to comprehend my actual point: that > source file organization is irrelevant (except maybe to compilers). Then why people are defending separate spec files so hard? >> You've >> never once said a word about the important point: reducing coupling. >On the contrary. I have pointed that spec and implementations are coupled >so much Of course they're coupled, they're views of the same thing (just like private types and full types are views of the same thing). I was referrring to coupling *between* units. The specification of a unit typically depends only on a small number of other units (sometimes even none), while the implementation typically depends on many more (language-defined packages, implementation helpers, etc.). That's the coupling I'm worrying about, as it matters in a number of ways. >> At this point, it appears that you are mainly trolling, >Or maybe you are just running out of arguments. Which would appear to be the same. :-) Since you belittle or ignore any serious argument, there's really no possibility of continuing. (It's OK to disagree, it's not OK to ignore all or [as in the case above], twist someone's discussion point into something unrecognizable. >What I don't accept is the religious attitude that Ada is the only language > that got the software engineering right and (consequently) that everything >else is broken. The truth hurts. So far as I can tell, no other language has really tried to "get software engineering right". It's possible, of course, but everyone either is trying to graft engineering onto some preexisting base without it (C++, Java) or is building something that's more about fast construction than engineering (Python). ... >> Existence proves nothing about readability, suitability, or anything >> else. > >Another potential Ada beginner will resign after seeing this statement. Good for them; they're not suitable for Ada if the truth bothers them that much. Randy.