From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BE7AA7F02D for ; Sun, 19 Oct 2014 15:59:41 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of philippe.wang.lists@gmail.com) identity=pra; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="philippe.wang.lists@gmail.com"; x-sender="philippe.wang.lists@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of philippe.wang.lists@gmail.com designates 74.125.82.41 as permitted sender) identity=mailfrom; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="philippe.wang.lists@gmail.com"; x-sender="philippe.wang.lists@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f41.google.com) identity=helo; client-ip=74.125.82.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="philippe.wang.lists@gmail.com"; x-sender="postmaster@mail-wg0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjwBAPvCQ1RKfVIplGdsb2JhbABbhDkEgwLRaAcWAREBAQEBBwsLCRIwhAMBAQQSER0BOAEDDAEFBQsDCgICJgICIQESAQUBHAYTIogJAxGfE26LMIUCiDMnDYYxJgEFDoEejHGFMoFUAQSSJ4khghGBMINGilKEZRgpgW+DPjsvgksBAQE X-IPAS-Result: AjwBAPvCQ1RKfVIplGdsb2JhbABbhDkEgwLRaAcWAREBAQEBBwsLCRIwhAMBAQQSER0BOAEDDAEFBQsDCgICJgICIQESAQUBHAYTIogJAxGfE26LMIUCiDMnDYYxJgEFDoEejHGFMoFUAQSSJ4khghGBMINGilKEZRgpgW+DPjsvgksBAQE X-IronPort-AV: E=Sophos;i="5.04,749,1406584800"; d="scan'208";a="101895892" Received: from mail-wg0-f41.google.com ([74.125.82.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Oct 2014 15:59:41 +0200 Received: by mail-wg0-f41.google.com with SMTP id b13so3712761wgh.0 for ; Sun, 19 Oct 2014 06:59:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=GQiI1o8MGskkUml1Viclv5fi8LhTRdVFYnazMbO/jCw=; b=DgVHkLvC7S1M/8ouP++vgo10mcY8ws8l5WqcdZ7/g9RiHYXXQAcdRX+0bo86Cp92ct oJ3/2HoA6rfsNY30cwcN5Wvoxzi4ZzVGQVu7LQbTIdRgRHh4P5pTtNItpz87ZNj7oaaI 7UNpPEIkNiHobUrINKI6vDHXI+trdDhlkW8nooDicTH7MNTvm2YEiDpPhCaQ5isdd0ck pj1eiIwNqgjxRXXAt8Te0ckubtp6AKVZc0RiDbJswJ5JNhy7bR/bqu/P1FcXXV/h2yqx bg0GRLrfc84Gs14Q7+dQ51XL9rDZJAg5o3gYiIYG/Ju+in36f+W+qPmXI7xWaCP02og4 OeLw== MIME-Version: 1.0 X-Received: by 10.194.237.9 with SMTP id uy9mr24960581wjc.69.1413727181341; Sun, 19 Oct 2014 06:59:41 -0700 (PDT) Sender: philippe.wang.lists@gmail.com Received: by 10.216.87.84 with HTTP; Sun, 19 Oct 2014 06:59:41 -0700 (PDT) In-Reply-To: <87iojgp7b1.fsf@gmail.com> References: <5443A96B.5010505@home.nl> <87iojgp7b1.fsf@gmail.com> Date: Sun, 19 Oct 2014 15:59:41 +0200 X-Google-Sender-Auth: 6csavoveKfohLzH0BioLPzG3NvI Message-ID: From: Philippe Wang To: Malcolm Matalka Cc: Roelof Wobben , OCaml Mailing List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] reverse a list On Sun, Oct 19, 2014 at 2:34 PM, Malcolm Matalka wrote: > Lists are immutable so you'll be constructing a list as you consume > another list. Please don't formulate it this way, as it sounds to me as if the list being "consumed" is disappearing (because that's what generally happens when something is being "consumed"). :-/ To the beginners reading this: well, in OCaml, any given list will never disappear before it actually becomes useless, and they may be "consumed" over and over again without any "harm" happening to them.