Re: Do people who use Ada also use ocaml or F#?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Sun, 31 Oct 2010 01:02:12 +0200, Jeffrey Carter  
<spam.jrcarter.not@spam.not.acm.org> a écrit:
> 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 trying  
> 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 the  
language (Ada) does not really push to these miss-understandings (just  
think about JP. Rosen frequently talking about HOOD, even when he does not  
name it). Ada on-line books are more oriented towards safe practices. When  
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 to  
learn as if this was something really new to be discovered (I have revised  
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… but I may be 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 this  
will come with the ability to provide a procedure associated to an object  
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 original  
design goals) so much, as, as an example, I feel nothing has suffered from  
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’est pas pour  
les chiens.