From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: numbers as 'generics' parameters
Date: Sat, 17 May 2008 19:34:48 +0200
Date: 2008-05-17T19:34:48+02:00 [thread overview]
Message-ID: <lb3x7vq9qqne$.166q2d55sqtae$.dlg@40tude.net> (raw)
In-Reply-To: 9e99c5cd-fd94-4a38-89fd-681c0372b7ad@y38g2000hsy.googlegroups.com
On Sat, 17 May 2008 09:29:34 -0700 (PDT), Maciej Sobczak wrote:
> On 17 Maj, 09:47, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>
> What about this:
>
> procedure P (X : in String; Y : in String);
>
> This procedure accepts two strings of any length - and they can have
> different lengths. What about limiting this and allowing the user to
> call P only with two strings of the same length?
> Declaring a constrained subtype would fix the length to the one used
> in type declaration. Is it possible to define P in a way that allows
> strings of any length, but equal?
How are going to check string length statically?
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2008-05-17 17:34 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-05-16 17:26 numbers as 'generics' parameters jhc0033
2008-05-16 17:55 ` Adam Beneschan
2008-05-16 19:12 ` John B. Matthews
2008-05-16 18:34 ` jimmaureenrogers
2008-05-16 18:57 ` Gautier
2008-05-16 20:52 ` Maciej Sobczak
2008-05-16 23:09 ` Peter C. Chapin
2008-05-17 7:47 ` Dmitry A. Kazakov
2008-05-17 16:29 ` Maciej Sobczak
2008-05-17 17:34 ` Dmitry A. Kazakov [this message]
2008-05-18 13:58 ` Maciej Sobczak
2008-05-18 14:52 ` Dmitry A. Kazakov
2008-05-18 20:37 ` Maciej Sobczak
2008-05-19 9:02 ` Dmitry A. Kazakov
2008-05-19 5:16 ` Ivan Levashew
2008-05-19 8:26 ` Maciej Sobczak
2008-05-16 20:22 ` Jeffrey R. Carter
2008-05-21 15:32 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox