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 647F17ED7A for ; Thu, 6 Sep 2012 11:49:45 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dhouse@janestreet.com) identity=pra; client-ip=38.105.200.115; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="dhouse@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of dhouse@janestreet.com designates 38.105.200.115 as permitted sender) identity=mailfrom; client-ip=38.105.200.115; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="dhouse@janestreet.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@nyc-dmz-mxout2.janestreet.com) identity=helo; client-ip=38.105.200.115; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="postmaster@nyc-dmz-mxout2.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmMBAMJwSFAmachzl2dsb2JhbABFhT+jf5FZKgEBAQEBCBYHO4IgAQEBBBICExkBASwLAQ8LCwMKDSEiEgEFAQoSBhMSEIdcAwwDAQecBQkDimaEMAEFhVoDAolVBosRGoYrlVyBFI0oPoQEgWA X-IronPort-AV: E=Sophos;i="4.80,379,1344204000"; d="scan'208";a="154864935" Received: from mx2.janestreet.com (HELO nyc-dmz-mxout2.janestreet.com) ([38.105.200.115]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Sep 2012 11:49:44 +0200 Received: from nyc-qsv-mail1.delacy.com ([172.25.22.57]) by nyc-dmz-mxout2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1T9YiT-00032x-Je for caml-list@inria.fr; Thu, 06 Sep 2012 05:49:41 -0400 Received: from nyc-dmz-mxgoog1.delacy.com ([172.25.224.109] helo=mxgoog1.janestreet.com) by nyc-qsv-mail1.delacy.com with esmtps (TLSv1:AES256-SHA:256) (Exim 4.76) (envelope-from ) id 1T9YiT-0001ga-Hp for caml-list@inria.fr; Thu, 06 Sep 2012 05:49:41 -0400 Received: from mail-qa0-f54.google.com ([209.85.216.54]) by mxgoog1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1T9YiT-0007sc-Fm for caml-list@inria.fr; Thu, 06 Sep 2012 05:49:41 -0400 Received: by qatn12 with SMTP id n12so1747207qat.6 for ; Thu, 06 Sep 2012 02:49:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=ihtaworsMP0W9r8fDqaka328JKOO5s96c2CRvwDnub0=; b=gF8arkLBQ8/HfKkHtBF7UsFCerVCtUIz9LiSQvp9bssl6HOeqbpq06XhCtK1LArC/x QSRwYPi5Qz0B1PCnM/MF9gsrjmdg5MnGnYNe21irHqIc3T+cjt+6pNbyXaxcaEni2f/k WQJ5+TuCrR/MJHVoyw6X05TxRKb7Y9voPBFZA= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:cc:content-type:x-gm-message-state; bh=ihtaworsMP0W9r8fDqaka328JKOO5s96c2CRvwDnub0=; b=K+Z3LvifGcgTWydPRGK7H6tbNV9buv9cR0V9ACRPipdIusFyAWNoGiAMSiec8Wgtlb XocAWOVdWEi65IOgCv7SULoWypR0/RaRcpsbtWWjBatlCZnh0Lhv5uoTE/yMqAkuMBF3 q0GflTE9H9/xzPbCPHQPdW6uLj3TMxT0rAB4Z1z4O51EghGeES5uhFh3FMvDZgu7PiR2 ikM59QL139C9RXIejKQ/wRT8fkQPHVDyP/MaKa+snVrE91V9w9bmfZ6fcovXeKxRtkKs q5PiQ6sNNWhh6iCLURVZcHpJ7MXWd47ME7WNAeMTrfODvM1KeXHX7KM/QlyPpIDHGQOs fp4Q== MIME-Version: 1.0 Received: by 10.224.203.70 with SMTP id fh6mr3521237qab.52.1346924981177; Thu, 06 Sep 2012 02:49:41 -0700 (PDT) Received: by 10.49.17.70 with HTTP; Thu, 6 Sep 2012 02:49:41 -0700 (PDT) X-Originating-IP: [80.169.196.210] In-Reply-To: References: <1346923259.77614.YahooMailRC@web180012.mail.gq1.yahoo.com> Date: Thu, 6 Sep 2012 10:49:41 +0100 Message-ID: From: David House To: Philippe Wang Cc: Dan Bensen , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQl0xUUzQ8jwak8nxUKfn1lbCA1bV26pxJMgsn+E2WRiRYQDWSZc7tjngvs817R4UUdz1qWM Subject: Re: [Caml-list] polymorphic parameters Careful: that doesn't actually ensure polymorphism. See: https://ocaml.janestreet.com/?q=node/79 On Thu, Sep 6, 2012 at 10:35 AM, Philippe Wang wrote: > On Thu, Sep 6, 2012 at 11:20 AM, Dan Bensen wrote: >> How do you indicate that a function parameter is a polymorphic function? > > I hope these 2 lines will answer your question: > > let f g x = g x > > let f (g: 'a -> 'b) x = g x > > -- > Philippe Wang > mail@philippewang.info > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >