Version française
Home     About     Download     Resources     Contact us    
Browse thread
Streams and call-by-need
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christoph Bauer <christoph.bauer@l...>
Subject: Streams and call-by-need
Hi,

do streams support call-by-need? This looks like call-by-name:

#  let s = [< '(print_endline "a"); '(print_endline "b") >]
  ;;
val s : unit Stream.t = <abstr>
# let t = [< s; s >]
  ;;
val t : unit Stream.t = <abstr>
# Stream.next t;;
a
- : unit = ()
# Stream.next t;;
b
- : unit = ()
# Stream.next t;;
a
- : unit = ()
# Stream.next t;;
b
- : unit = ()

Christoph Bauer