Re: [Caml-list] Evaluation order of Stream.from

[John Max Skaller <skaller@ozemail.com.au>]

YAMAGATA yoriyuki wrote:

>Hi, folks.
>
>I have a question about Stream.from.  If I create a stream by
>Stream.from f by some function f, in what order f is called?  I mean,
>is it guaranteed that f is always called as f 1, f 2, f 3, ....? or is
>the order like f 1, f 3, f 5, f 7, f 2, f 4, .... possible?
>
>The manual states nothing, so maybe I have to assume there is no
>guarantee.  But then using a function with side effects
>is nearly impossible, which is unfortunate.
>
>I tried to understand the source, but it is full of magic and anyways,
>the source does not make any guarantee for the future.
>

The same issue arises for List.rev_map. By experiment, I find it applies
its function argument from the head of the list argument, in order,
which is suggested by  the statement that it is tail recursive.
But it isn't *guarranteed* by the manual, and it probably should be.

To be pedantic .. the 'tail recursive' bit is non-information.
Only source code has that property. List.rev_map is a standard library
routine. It should be characterized by saying it has
linear performance, with constant storage overhead.

-- 
John Max Skaller, mailto:skaller@ozemail.com.au
snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia.
voice:61-2-9660-0850




-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners