From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 57BDEBDD8 for ; Fri, 26 Aug 2005 12:52:23 +0200 (CEST) Received: from furbychan.cocan.org (furbychan.cocan.org [80.68.91.176]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j7QAqLwS002854 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Fri, 26 Aug 2005 12:52:23 +0200 Received: from rich by furbychan.cocan.org with local (Exim 3.35 #1 (Debian)) id 1E8c11-0005dk-00; Fri, 26 Aug 2005 12:04:55 +0100 Date: Fri, 26 Aug 2005 12:04:55 +0100 To: Jonathan Roewen Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] lazy lists Message-ID: <20050826110454.GA21632@furbychan.cocan.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.3.28i From: Richard Jones X-Miltered: at concorde with ID 430EF465.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 lazy:01 ocaml:01 lazy:01 haskell:01 ocaml:01 caml-list:01 notepad:01 26,:98 1630:98 wrote:01 underlying:01 thread:02 caml:02 strong:96 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=SPF_FAIL autolearn=disabled version=3.0.3 On Fri, Aug 26, 2005 at 11:56:33AM +1200, Jonathan Roewen wrote: > Is the underlying implementation of the builtin lists in OCaml lazy? > If not, is performance the reason for them not being lazy? I think > lazy lists are a very strong point of Haskell, and am wondering if > there's a lazy list implementation with all the standard list > operations in the case that lists aren't lazy in OCaml. What you probably want are Streams (in camlp4). This thread is interesting: http://caml.inria.fr/pub/ml-archives/caml-list/2004/09/9d5e1141c4018b995480ce1630f4879c.en.html Rich. -- Richard Jones, CTO Merjis Ltd. Merjis - web marketing and technology - http://merjis.com Team Notepad - intranets and extranets for business - http://team-notepad.com