Re: for S'Image use Func??

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

On 13 Maj, 09:31, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> > I am pragmatic here.
>
> I am too. I know that Windows does exist and that LF /= CR LF.

<shrug />

This is an added value? I call it a trivial stream filter with barely
one bit of state in the finite-state machine. Nothing to cheer about.

> Al this mess is abstracted away by Ada.Text_IO.

This "abstraction" is peanuts. Like in
Ada.Stream_IO_With_Trivial_Filter. :-)

> (And OpenVMS exists too)

I guess that the Commodore 64 emulator for iPhone has a wider user
base - please do not refer to effectively non-existing systems just to
keep the discussion going. It's wasteful.

> > So what is a text, really?
>
> It is not a book.

A scientific paper, perhaps? Or a CV?

If you stick to the concept of "text" as defined by Text_IO
(completely unstructured sequence of lines), then effectively the only
use-case that you will cover without problems is... config files. Like
in Ada.Config_Files_IO. :-)

> Browser renders texts. It means that text is not the input, but the output
> of. The input of a browser is a program written in some ugly language named
> HTML.

Wrong. I use the browser to read .txt files, too. No HTML is
necessary.

> I consider text an ordered set of lines.

I consider such a set of lines to be a stream on steroids. The problem
is that our definitions are arbitrary and we're not going to conclude
anything.

> > Yet everybody is dead focused on the concept of text files that are
> > composed of lines. There are no lines, really.
>
> Of course there are, see //-comments in C++.

The C++ source code is not a text for me.
I know that it is a text for you due to your arbitrarily chosen
definitions.

> > Translation: Text_IO cannot detect the end of text without blocking.
>
> No, the translation is: stream does not have an end.

That's your arbitrary definition and you did not provide any reference
for it.
I see no reason to accept it.

In particular, /dev/null is a very nice empty stream. It is not a
stream that has no data for infinite amount of time (this can be
emulated) - this is genuinely empty stream which has an end and that
end can be detected immediately.

--
Maciej Sobczak * http://www.inspirel.com

YAMI4 - Messaging Solution for Distributed Systems
http://www.inspirel.com/yami4