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

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

Le Sat, 30 Oct 2010 14:59:47 +0200, Dmitry A. Kazakov  
<mailbox@dmitry-kazakov.de> a écrit:
> To me it is obvious that a type system serves reuse. The property of  
> being
> static is aimed at correctness checks/proofs. In this context generics  
> look
> quite disappointing.
I do not see how this could be less safe than a design process itself.  
Generics are like building something with a pattern, and this pattern is  
checked for consistency in Ada. This is not more not less safe than any  
other composition process. I agree with Chad when he/she talked about the  
need of a validation for each instantiations (at least, by parameter set).  
Static type system also apply with generic, this is just that it cannot be  
proved universally valid. Even static type checking cannot guarantee to  
always produce something correct, this goal needs more (like contracts).

Still true generics can be no fun when (as an example) instantiation  
hierarchy comes, but this is another story which has nothing to do with  
proof of correctness.

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.