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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,cbb5b0d14f503195 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!atl-c08.usenetserver.com!news.usenetserver.com!pc03.usenetserver.com!KNOLOGY.NET-a2kHrUvQQWlmc!not-for-mail Date: Fri, 17 Feb 2006 07:39:33 -0600 From: "Marc A. Criley" User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Working with incompetent adaists / unsafe typing war story References: <7glav1paqvs5oco9nn9s5gknlimfu8aglg@4ax.com> In-Reply-To: <7glav1paqvs5oco9nn9s5gknlimfu8aglg@4ax.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <18a7f$43f5d211$45491254$18894@KNOLOGY.NET> X-Complaints-To: abuse@usenetserver.com Organization: UseNetServer.com X-Trace: 18a7f43f5d211e0ecb7f118894 Xref: g2news1.google.com comp.lang.ada:2933 Date: 2006-02-17T07:39:33-06:00 List-Id: Dennis Lee Bieber wrote: > On Thu, 16 Feb 2006 23:57:01 GMT, declaimed the > following in comp.lang.ada: > >>One of my early mentors in Ada, Doug Bryan, once said, "Until > > Now there is a name I haven't heard in 17 years... If it's the same > Doug Bryan, he was a member of a gaming group I was in... An Ada seminar run by Doug that I attended quite some time ago continues to exert a profound influence on my Ada programming practice and undestanding. In that seminar he focused on Ada's "type model" and how that was the foundation of the language's definition. The proper definition of types embeds mountains of useful information about your program that can be programmatically extracted by querying the type model for that information, which is mostly done via attributes. That's why I occasionally get on the soapbox that while "strong typing" is a strength of Ada, it's only _part_ of the story, the rest is having access to information about types and their instances that is being implicitly encoded into the software due to Ada's type model based definition. With the fallacious dismissal of strong typing, not only the defensive aspects of Ada are being thrown out, but the revelatory ones as well. -- Marc A. Criley -- McKae Technologies -- www.mckae.com -- DTraq - XPath In Ada - XML EZ Out