From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Question on bounded / unbounded strings
Date: Thu, 22 Sep 2016 15:52:30 +0200
Date: 2016-09-22T15:52:30+02:00 [thread overview]
Message-ID: <ns0noj$155h$1@gioia.aioe.org> (raw)
In-Reply-To: 177d0054-2925-42d5-afba-f013dc7db4e2@googlegroups.com
On 22/09/2016 15:18, Maciej Sobczak wrote:
>
>> It is very difficult to find cases where
>>
>> 1. There is a hard upper bound, so hard that it would be feasible to
>> mold it into the type.
>
> It is not very difficult to realize that MD5, SHA1, etc. signatures
> are bounded strings.
It is quite difficult to do. In the application areas these things are
fixed size subtype of either String or Stream_Element_Array. They aren't
an independent new type, for obvious reasons.
> In many domains it will be also easy to find that many identifiers
> and reference numbers are bounded, too.
> Social security numbers tend to be bounded as well.
> ZIP codes in any given country?
Zip code is number in Germany. In other cases it would be a record type
with an enumeration to represent a province and some numbers, never a
bounded string.
> I don't know about you, but I seem to be surrounded by bounded strings.
Do you use Ada bounded strings?
> Splitting strings is inefficient for you? It is very efficient for
> me to split the string and pass its individual parts to separate tasks for
> parallel processing. If you are doing the string splitting by traversing
> the string and storing the tokens aside,
Why would you store them? In the example you gave, I would pass them
straight to a worker task as soon as I get one.
> it is still splitting, even if you do not call it splitting.
Not if substrings get processed, e.g. put into a hash table. The point
is that the operation of splitting as such is pointless because its
result has no value of its own, it is an intermediate which can and must
be dropped for the sake of simplicity and efficiency.
> Unbounded_String? Can be very useful as a sink for generated data in
> whatever format.
Nope. That thing is called stream.
> Dmitry, you can have strong opinions on various subjects, but it is
> too easy to disagree with these ones.
Good, I like when people disagree.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2016-09-22 13:52 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-13 8:46 Question on bounded / unbounded strings Arie van Wingerden
2016-09-13 9:04 ` Dmitry A. Kazakov
2016-09-22 2:10 ` John Smith
2016-09-22 7:24 ` Dmitry A. Kazakov
2016-09-22 9:01 ` J-P. Rosen
2016-09-22 9:53 ` Dmitry A. Kazakov
2016-09-22 10:58 ` G.B.
2016-09-22 12:05 ` Dmitry A. Kazakov
2016-09-22 14:14 ` G.B.
2016-09-22 17:18 ` Dmitry A. Kazakov
2016-09-22 11:08 ` J-P. Rosen
2016-09-22 12:05 ` Dmitry A. Kazakov
2016-09-22 13:18 ` Maciej Sobczak
2016-09-22 13:52 ` Dmitry A. Kazakov [this message]
2016-09-22 14:51 ` Maciej Sobczak
2016-09-22 17:13 ` Dmitry A. Kazakov
2016-09-23 5:50 ` Maciej Sobczak
2016-09-23 6:36 ` Simon Wright
2016-09-23 7:48 ` Dmitry A. Kazakov
2016-09-28 20:55 ` Randy Brukardt
2016-09-23 23:58 ` John Smith
2016-09-24 7:52 ` Dmitry A. Kazakov
2016-09-24 16:25 ` John Smith
2016-09-24 17:44 ` Dmitry A. Kazakov
2016-09-24 18:33 ` John Smith
2016-09-24 18:37 ` John Smith
2016-09-24 18:59 ` John Smith
2016-09-25 8:50 ` Dmitry A. Kazakov
2016-09-25 23:35 ` brbarkstrom
2016-09-26 7:28 ` Dmitry A. Kazakov
2016-09-26 12:39 ` brbarkstrom
2016-09-28 21:09 ` Randy Brukardt
2016-09-30 7:59 ` Björn Lundin
2016-09-13 9:35 ` gautier_niouzes
2016-09-13 10:41 ` Alejandro R. Mosteo
2016-09-13 17:41 ` Jeffrey R. Carter
2016-09-13 17:59 ` Björn Lundin
2016-09-14 11:23 ` Arie van Wingerden
2016-09-14 12:26 ` Arie van Wingerden
2016-09-14 12:28 ` Arie van Wingerden
2016-09-14 12:57 ` Arie van Wingerden
2016-09-14 19:39 ` Jeffrey R. Carter
2016-09-17 16:35 ` Arie van Wingerden
2016-09-16 14:43 ` Olivier Henley
2016-09-17 16:35 ` Arie van Wingerden
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox