From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA31309; Tue, 30 Jul 2002 17:56:49 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA31020 for ; Tue, 30 Jul 2002 17:56:48 +0200 (MET DST) Received: from lobus.fungible.com (adsl-64-161-114-6.dsl.snfc21.pacbell.net [64.161.114.6]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g6UFulj09987 for ; Tue, 30 Jul 2002 17:56:47 +0200 (MET DST) Received: by lobus.fungible.com (Postfix, from userid 1000) id 88DD47F66; Tue, 30 Jul 2002 08:56:45 -0700 (PDT) Date: Tue, 30 Jul 2002 08:54:28 -0700 From-Tims-Fingers: true To: caml-list@inria.fr Subject: [Caml-list] Do streams still need to be patched? Message-Id: <20020730155645.88DD47F66@lobus.fungible.com> From: tim@fungible.com (Tim Freeman) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I see this comment at the beginning of streams.ml: (* 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 tim@fungible.com GPG public key fingerprint ECDF 46F8 3B80 BB9E 575D 7180 76DF FE00 34B1 5C78 ------------------- 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