Re: Generics vs. O-O?

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

Le Fri, 02 Aug 2013 10:11:32 +0200, Dmitry A. Kazakov  
<mailbox@dmitry-kazakov.de> a écrit:
> Here substitutability encompasses all parameters generics take, not just
> types. E.g.
>
> generic
>    with function Foo (X : Integer) return Real;
> package Bar is ...
>
> You cannot verify if Baz
>
>    function Baz (X : Integer) return Real;
>
> were substitutable in Bar for Foo.

I agree with this. Ability to require constraints on type parameters is  
missing. As an example, I wish I could state it must have some  
representation set on some value, or require some preconditions and  
postconditions.

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University