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

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

On Sun, 31 Oct 2010 14:46:07 -0700 (PDT), Shark8 wrote:

> On Oct 30, 1:37�pm, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>> On Sat, 30 Oct 2010 21:12:36 +0200, Yannick Duch�ne (Hibou57) wrote:
>>> This is not more not less safe than any �
>>> other composition process.
>>
>> This requires a proof, which would be hard to provide because generics are
>> non-testable.
> 
> Are generics really non-testable?

How do you execute a generic body? Testable are generic instances.

> The simple example of a bubble-sort on an array is testable:
[...]

You mean provable. Yes, in some cases it is possible to prove certain
properties which would hold for any instance of a generic body.
 
> Working within the realm of generics is somewhat akin to mathematical
> induction, you HAVE to use the properties of the objects your working
> with and, once you do it "magically" comes together.

Right, but what you described is actually generic programming. Generic
programming = programming in terms of sets of types, rather than in terms
of individual types. I am not against it, I am against generic programming
done with generics, because done with classes (class is a set of types) it
is much safer and cleaner.

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