Re: numbers as 'generics' parameters

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 17 Maj, 19:34, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> How are going to check string length statically?

That's what I'm asking. OP asked about numbers in generics, motivating
his question with compile-time checks. Surely he comes from C++ and he
was later flooded with answers that focused on numbers, generics and
alternatives, but the "compile-time" part of the discussion was
immediately lost.

I can bet that OP was asking about this:

template <size_t N>
void foo(const fixed_size_string<N> & s1,
         const fixed_size_string<N> & s2)
{
    // some processing here
}

fixed_size_string<3> s = "Ada";
fixed_size_string<3> t = "C++";
fixed_size_string<4> u = "Java"

foo(s, t); // OK, s and t have statically equal lengths
foo(s, u); // compile-time error *here*

Yes, Ada allows to use numbers in types - in various ways.
But the OP's question is still not directly addressed.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com