From: Error404 <error92@tlen.pl>
To: caml-list@inria.fr
Subject: Streams
Date: Thu, 10 Aug 2006 12:51:26 +0200 [thread overview]
Message-ID: <5ebb1214.308e7ea.44db0fae.68763@o2.pl> (raw)
Hi,
I'm looking for some streams related tutorial or any other info.
By stream i mean something like this (I don't know exact definition):
open Lazy;;
type 'a stream = Nil | Cons of 'a Lazy.t * 'a stream Lazy.t;;
(* For example stream of 'integers from x' would look like this: *)
let rec intsfrom x =
Cons(lazy x,lazy (intsfrom (x+1)));;
If you know any www/book or anything on this kind of streams please mail me (error92@tlen.pl).
Many thanks.
next reply other threads:[~2006-08-10 10:51 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-08-10 10:51 Error404 [this message]
2006-08-10 11:40 ` [Caml-list] Streams Jonathan Roewen
2006-08-10 19:02 ` Chris King
2006-08-10 18:32 ` Martin Jambon
2006-08-11 0:00 ` Jon Harrop
-- strict thread matches above, loose matches on Subject: below --
1993-03-17 18:10 Encore du pattern matching et des streams cr
1993-03-18 21:32 ` streams Xavier Leroy
1993-03-18 22:28 ` streams cr
1993-03-19 14:54 ` streams Francis Dupont
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5ebb1214.308e7ea.44db0fae.68763@o2.pl \
--to=error92@tlen.pl \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).