Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Do streams still need to be patched?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: tim@f...
Subject: [Caml-list] Do streams still need to be patched?
I see this comment at the beginning of

(* The fields of type t are not mutable to preserve polymorphism of
   the empty stream. This is type safe because the empty stream is never
   patched. *)

Is this still true?  I can easily imagine that it used to be true if
and when OCAML had weak type variables, but it doesn't anymore.

If it isn't true any more, then I think it would be possible to make a version
of streams that's as fast and functional as what's there now, and it
would allow consing streams to interoperate properly with streams
derived from functions or channels.

Tim Freeman
GPG public key fingerprint ECDF 46F8 3B80 BB9E 575D  7180 76DF FE00 34B1 5C78 
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: