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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 8E8757F249 for ; Fri, 2 Nov 2012 16:11:37 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of radugrigore@gmail.com) identity=pra; client-ip=209.85.220.190; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="radugrigore@gmail.com"; x-sender="radugrigore@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of radugrigore@gmail.com designates 209.85.220.190 as permitted sender) identity=mailfrom; client-ip=209.85.220.190; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="radugrigore@gmail.com"; x-sender="radugrigore@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vc0-f190.google.com) identity=helo; client-ip=209.85.220.190; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="radugrigore@gmail.com"; x-sender="postmaster@mail-vc0-f190.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At8CACXik1DRVdy+lWdsb2JhbABEv3SDOggjAQEBAQkLCQkSKYIeAQEBBAEBAVkdEAsYLiMRAQUBHIgQARKdOIwyh2sKGYENiHuMAYMXgyQDiFqcAj+EMQ X-IronPort-AV: E=Sophos;i="4.80,699,1344204000"; d="scan'208";a="161196852" Received: from mail-vc0-f190.google.com ([209.85.220.190]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Nov 2012 16:11:36 +0100 Received: by mail-vc0-f190.google.com with SMTP id d16so2275280vcd.27 for ; Fri, 02 Nov 2012 08:11:35 -0700 (PDT) Received: by 10.236.149.66 with SMTP id w42mr131863yhj.18.1351869095911; Fri, 02 Nov 2012 08:11:35 -0700 (PDT) Path: glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: fa.caml Date: Fri, 2 Nov 2012 08:11:35 -0700 (PDT) In-Reply-To: <15ab226e-6bc3-4122-bb40-de8ae2a2339b@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=138.37.90.78; posting-account=e5mzsQoAAAB7g9y7Bkgam0zJDHRr7bCB NNTP-Posting-Host: 138.37.90.78 References: <15ab226e-6bc3-4122-bb40-de8ae2a2339b@googlegroups.com> User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-IP: 138.37.90.78 MIME-Version: 1.0 Message-ID: <9d4b2966-a246-405e-a3fe-88e1667e5b96@googlegroups.com> From: Radu Grigore To: fa.caml@googlegroups.com Cc: Caml List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Writing the function Set.map using first-class modules and 4.00 inference On Friday, November 2, 2012 2:59:17 PM UTC, Radu Grigore wrote: > Somebody should put the linear time [of_list] in the standard library. Actually, that should probably be called [of_sorted_list], to make it clear what it does. If you worry about having a function that requires a sorted list, then note that there is already one in the standard library: List.merge.