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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,9e7db243dfa070d7 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Path: g2news2.google.com!news4.google.com!feeder.news-service.com!news.mixmin.net!aioe.org!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Do people who use Ada also use ocaml or F#? Date: Sun, 31 Oct 2010 01:30:56 +0200 Organization: Ada @ Home Message-ID: References: <83074951-f661-4ae2-87f2-10c359ea6471@a36g2000yqc.googlegroups.com> NNTP-Posting-Host: gHYtk+mhCrTAX6LNXybaBQ.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 User-Agent: Opera Mail/10.63 (Win32) Xref: g2news2.google.com comp.lang.ada:15970 Date: 2010-10-31T01:30:56+02:00 List-Id: Le Sun, 31 Oct 2010 01:02:12 +0200, Jeffrey Carter = a =C3=A9crit: > Nor is dispatching all of programming by extension in Ada. > > More important is the effect of having features that violate a stated = = > design goal of the language and are the source of massive = > misunderstanding (evidenced by the numerous posts here by people tryin= g = > to use the features but not understanding them). These miss-understandings may be more caused by the attempt to map a = language onto another (someone coming from A to B, who try to do A with = = B), than caused by the language, as tutorials and books about learning t= he = language (Ada) does not really push to these miss-understandings (just = think about JP. Rosen frequently talking about HOOD, even when he does n= ot = name it). Ada on-line books are more oriented towards safe practices. Wh= en = tagged type are push onto the front, this is just as a reply to people = convinced Ada does not support it (the supposed audience, is people who = = know what there are looking for and what they do). A good suggestion may be not to suppose one know something because this = = look-like what he/she already know in another context, and push people t= o = learn as if this was something really new to be discovered (I have revis= ed = many of my understandings since Ada). If one use dispatching because he/she use derived classes all over the = place, this is not because Ada provides tagged type, better probably = because he/she came from a place where this is a common practice (like = Java, which seems to me very derived-class oriented=E2=80=A6 but I may b= e wrong, = as I am not so much aware of Java). But if he/she is to use references to functions or procedures and = determines that this may better be done using a tagged type, because thi= s = will come with the ability to provide a procedure associated to an objec= t = instead of associated to a package, then, why not ? (just an example). Ada is just multi-paradigm, as underlined from time to time. These = features does not break the language design (so don't violate its origin= al = design goals) so much, as, as an example, I feel nothing has suffered fr= om = the introduction of tagged types in Ada 95 (at least, I don't feel so). -- = Si les chats miaulent et font autant de vocalises bizarres, c=E2=80=99es= t pas pour = les chiens.