Re: [Caml-list] Writing the function Set.map using first-class modules and 4.00 inference

Article View: fa.caml

Article #91

#91

From: Radu Grigore
Date: Fri, 02 Nov 2012 15:11

4 lines
1735 bytes

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.

Technical Details

Message-ID: <9d4b2966-a246-405e-a3fe-88e1667e5b96@googlegroups.com>

Path:

arc1-ca.pugleaf.net!gf5ni14056677qab.0!nntp.google.com!c7no3373943qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail

References: <fa.FUGAe9RTYsSPA4RwbpKO14B0oVo@ifi.uio.no> <15ab226e-6bc3-4122-bb40-de8ae2a2339b@googlegroups.com>

Show Full Headers

Complete Article Headers

X-Google-Thread: c0fe4b917e,1e67767467266ae5
X-Google-Attributes: gidc0fe4b917e,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.224.180.141 with SMTP id bu13mr1071906qab.2.1351869095970;
        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: arc1-ca.pugleaf.net!gf5ni14056677qab.0!nntp.google.com!c7no3373943qap.0!postnews.google.com!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: <fa.FUGAe9RTYsSPA4RwbpKO14B0oVo@ifi.uio.no> <15ab226e-6bc3-4122-bb40-de8ae2a2339b@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9d4b2966-a246-405e-a3fe-88e1667e5b96@googlegroups.com>
Subject: Re: [Caml-list] Writing the function Set.map using first-class
 modules and 4.00 inference
From: Radu Grigore <radugrigore@gmail.com>
Cc: Caml List <caml-list@inria.fr>
Injection-Date: Fri, 02 Nov 2012 15:11:35 +0000
Content-Type: text/plain; charset=ISO-8859-1

Reply to Parent Message