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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,583275b6950bf4e6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-02 02:51:41 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!nntp.cs.ubc.ca!freenix!enst.fr!not-for-mail From: Lionel.DRAGHI@fr.thalesgroup.com Newsgroups: comp.lang.ada Subject: RE: Using Ada for device drivers? (Was: the Ada mandate, and why it collapsed and died) Date: Fri, 2 May 2003 11:53:06 +0200 Organization: ENST, France Message-ID: NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Trace: avanie.enst.fr 1051869100 60722 137.194.161.2 (2 May 2003 09:51:40 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Fri, 2 May 2003 09:51:40 +0000 (UTC) To: comp.lang.ada@ada.eu.org Return-Path: X-Mailer: Internet Mail Service (5.5.2653.19) X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: comp.lang.ada mail to news gateway List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: archiver1.google.com comp.lang.ada:36841 Date: 2003-05-02T11:53:06+02:00 | -----Message d'origine----- | De: mcq95@earthlink.net [mailto:mcq95@earthlink.net] ... | This is one of the biggest misconceptions about type-safety and the | languages that utilize it: that its primary purpose is just to help | avoid bugs. (And this is a misconception held by many Ada programmers | as well.) .... | The proper definition of types for an application allows the embedding | of vast quantities of information that is there just for the asking by | the application. Not just application, but also code reader. ... | type Altitude is digits 6.0 range -100.0 .. 50_000.0; For me, the main point here in this declaration is to move more programmer's knowledge into the code than possible in any other comparable language. This knowledge will otherwise resides in the comments, or some doc, or just nowhere. In consequence: - the language is able to provide usefull attributes, - code readability improve, - one will reduce documentation/comments, avoid incoherencies between those and code, avoid knowledge vanishing when the coder leave your company, etc. - and yes, an Ada compiler provides compilation/execution time checks that other compiler can't provide, and this is in my opinion by far more usefull than attributes. - etc. Despite this, i agree with you that type compilation/execution time checks are just the most visible consequence of the powerfull Ada typing. When i hear an Ada programmer saying that "its primary purpose is just to help avoid bugs", i suggest the more general "its primary purpose is to reduce development cost", and let's go for discussion! -- Lionel Draghi