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

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sat, 30 Oct 2010 14:18:09 +0200, Florian Weimer wrote:

> * Dmitry A. Kazakov:
> 
>> On Thu, 28 Oct 2010 19:27:40 -0700 (PDT), Chad  R. Meiners wrote:
>>
>>> I have chosen languages that support generics because quite frankly
>>> after learning Ada, any statically typed language that does not
>>> support generics is not a suitable language for developing anything
>>> of substance.
>>
>> I don't see any connection between static typing and parametric
>> polymorphism (AKA generics), except that both are static.
> 
> For me, it's the realization that without generics, a static type
> systems tends to disallow too many useful programs.

This requires further explanations. Since generics are themselves static,
the problem is not in types being static, but in something else.

Actually, the question is whether a static type system should be extended
by means of generics or by other means. I saw no discussion why this should
be done with generics, as well as any discussion about the power and
desired properties of a static type system.

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.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de