From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathan.roewen@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id 38F64BDD1
	for <caml-list@yquem.inria.fr>; Fri, 26 Aug 2005 01:56:35 +0200 (CEST)
Received: from rproxy.gmail.com (rproxy.gmail.com [64.233.170.195])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j7PNuYAK016053
	for <caml-list@yquem.inria.fr>; Fri, 26 Aug 2005 01:56:34 +0200
Received: by rproxy.gmail.com with SMTP id a36so607246rnf
        for <caml-list@yquem.inria.fr>; Thu, 25 Aug 2005 16:56:34 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition;
        b=DwgWGzbcsoIKBKcsaFlkNFM9c9nCMTwPZHiCHrc66iLne3hENUgjtnk0LIEYGVixGeMfHUeBEt4PjIMK/4LFyaOyPxPwctarOFE1fv8a+IbZH98UNRhGgS5v+Pz8tcIaaYNPE9rheJSCm1iGh3Ul4TIvURHy4fQ2s2/eKibNNqo=
Received: by 10.38.92.14 with SMTP id p14mr1404587rnb;
        Thu, 25 Aug 2005 16:56:34 -0700 (PDT)
Received: by 10.38.209.1 with HTTP; Thu, 25 Aug 2005 16:56:33 -0700 (PDT)
Message-ID: <ad8cfe7e05082516566803c65a@mail.gmail.com>
Date: Fri, 26 Aug 2005 11:56:33 +1200
From: Jonathan Roewen <jonathan.roewen@gmail.com>
To: caml-list@yquem.inria.fr
Subject: [Caml-list] lazy lists
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
X-Miltered: at nez-perce with ID 430E5AB2.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 underlying:01 strong:96 inria:05 standard:07 wondering:09 operations:09 aren't:11 aren't:11 think:11 
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=RCVD_BY_IP autolearn=disabled 
	version=3.0.3

Hi,

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.

Also, if they aren't, can someone give me some insight into the
reasons INRIA chose not to?

Kindest Regards,

Jonathan