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,FREEMAIL_FROM, LOTS_OF_MONEY autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,fc6f9338f3a892fe X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!news.glorb.com!border1.nntp.ash.giganews.com!border2.nntp.ash.giganews.com!nntp.giganews.com!wn11feed!worldnet.att.net!bgtnsc05-news.ops.worldnet.att.net.POSTED!not-for-mail Newsgroups: comp.lang.ada Subject: Re: A couple of questions From: James Rogers References: Message-ID: User-Agent: Xnews/5.04.25 Date: Sat, 01 May 2004 05:12:30 GMT NNTP-Posting-Host: 12.73.182.120 X-Complaints-To: abuse@worldnet.att.net X-Trace: bgtnsc05-news.ops.worldnet.att.net 1083388350 12.73.182.120 (Sat, 01 May 2004 05:12:30 GMT) NNTP-Posting-Date: Sat, 01 May 2004 05:12:30 GMT Organization: AT&T Worldnet Xref: controlnews3.google.com comp.lang.ada:158 Date: 2004-05-01T05:12:30+00:00 List-Id: "Yeric" wrote in news:c6usqs$31m$1@sparta.btinternet.com: > I have read a few articles about Design by contract and find the > concept interesting, and wondered how ADA is able to handle this if at > all? Ada handles some parts of design by contract through its ability to define scalar types, and through strong typing. type My_Int is range 15..25; procedure Swap(Left, Right : in out My_Int) is Temp : My_Int := Left; begin Left := Right; Right := Temp; end Swap; Since Left and Right are type My_Int, there is a guarantee that all values of Left and Right are within the range defined for My_Int. > What niche does ADA fit into, I notice that it prides itself on > embedded systems, does it have any other special areas apart from what > I can see in military domains, or is it a good all rounder? Ada is a general purpose language. It fits well in many domains. Ada has been successfully used for manufacturing control systems, financial applications, transportation safety and control systems, robotic control systems, video editing, medical applications, and scientific calculations. Jim Rogers