guile-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

stream-for-each 2 or more bug


From: Kevin Ryde
Subject: stream-for-each 2 or more bug
Date: Wed, 08 Sep 2004 11:37:55 +1000
User-agent: Gnus/5.110003 (No Gnus v0.3) Emacs/21.3 (gnu/linux)

        * streams.scm (stream-for-each-many): Correction, should recurse into
        itself, not stream-for-each-one.

I started some words about streams too.  stream-filter and stream-ref
from sicp would be nice additions.


3.1.6 Streams
-------------

Streams represent a sequence of values, each of which is calculated
only when required.  This allows large or even infinite sequences to be
represented, and manipulated with familiar operations like "car",
"cdr", "map" or "fold".  In such manipulations only as much as needed
is actually held in memory at any one time.  The functions in this
section are available from

     (use-modules (ice-9 streams))

   Streams are implemented using promises (*note Delayed Evaluation::),
this is how the underlying calculation of values is made only when
needed, and the values thereafter retained so the calculation is not
repeated.

Here is a simple example producing a stream of all odd numbers,

     (define odds (make-stream (lambda (state)
                                 (cons state (+ state 2)))
                               1))
     (stream-car odds)              => 1
     (stream-car (stream-cdr odds)) => 3

`stream-map' could be used to derive a stream of odd squares,

     (define (square n) (* n n))
     (define oddsquares (stream-map square odds))

   These are infinite sequences, so it's not possible to convert them to
a list, but they could be printed (infinitely) with for example

     (stream-for-each (lambda (n nsq)
                        (format #t "~a squared is ~a\n" n nsq))
                      odds oddsquares)
     -|
     1 squared is 1
     3 squared is 9
     5 squared is 25
     7 squared is 49
     ...


 -- Function: make-stream proc initial-state
     Return a new stream which is the results of calling PROC
     successively.

     Each call is `(PROC state)', it should return a pair, the `car'
     being the value for the stream, and the `cdr' being the new STATE
     for the next call.  For the first call the STATE is the given
     INITIAL-STATE.  At the end of the stream, PROC should return
     something other than a pair.

 -- Function: stream-car stream
     Return the first element from STREAM.  STREAM must not be empty.

 -- Function: stream-cdr stream
     Return a stream which is the second and subsequent elements of
     STREAM.  STREAM must not be empty.

 -- Function: stream-null? stream
     Return true if STREAM is empty.

 -- Function: list->stream list
 -- Function: vector->stream vector
     Return a stream with the contents of LIST or VECTOR.

     LIST or VECTOR should not be modified subsequently, it's
     unspecified whether changes there will be reflected in the stream
     returned.

 -- Function: port->stream port readproc
     Return a stream which gives the values obtained by reading from
     PORT using READPROC.  Each read call made is `(READPROC PORT)', it
     should return an EOF object (*note Reading::) at the end of input.

     For example a stream of characters from a file,

          (port->stream (open-input-file "/foo/bar.txt") read-char)

 -- Function: stream->list stream
     Return a list which is the entire contents of STREAM.

 -- Function: stream->reversed-list stream
     Return a list which is the entire contents of STREAM, but in
     reverse order.

 -- Function: stream->list&length stream
     Return two values (*note Multiple Values::) being a list which is
     the entire contents of STREAM, and the number of elements in that
     list.

 -- Function: stream->reversed-list&length stream
     Return two values (*note Multiple Values::) being a list which is
     the entire contents of STREAM, but in reverse order, and the number
     of elements in that list.

 -- Function: stream->vector stream
     Return a vector which is the entire contents of STREAM.

 -- Function: stream-fold proc init stream0 ... streamN
     Apply PROC successively over the elements of the given streams,
     from first to last.  Return the result from the last PROC call.

     Each call is `(PROC elem0 ... elemN prev)', where each ELEM is
     from the corresponding STREAM.  PREV is the return from the
     previous PROC call, or the given INIT for the first call.

 -- Function: stream-for-each proc stream0 ... streamN
     Call PROC on the elements from the given STREAMs.  The return
     value is unspecified.

     Each call is `(PROC elem0 ... elemN)', where each ELEM is from the
     corresponding STREAM.  `stream-for-each' stops when it reaches the
     end of any of the STREAMs.

 -- Function: stream-map proc stream0 ... streamN
     Return a new stream which is the results of applying PROC to the
     elements of the given STREAMs.

     Each call is `(PROC elem0 ... elemN)', where each ELEM is from the
     corresponding STREAM.  The new stream ends when the end of any of
     the given STREAMs is reached.



Attachment: streams.scm.for-each.diff
Description: Text document

Attachment: streams.test
Description: Text document


reply via email to

[Prev in Thread] Current Thread [Next in Thread]